Return to search

Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P

- / -

Identiferoai:union.ndltd.org:upatras.gr/oai:nemertes:10889/3585
Date31 August 2010
CreatorsΚεραμύδας, Ελευθέριος
ContributorsΧατζηλυγερούδης, Ιωάννης, Keramydas, Elevtherios, Χατζηλυγερούδης, Ιωάννης
Source SetsUniversity of Patras
Languagegr
Detected LanguageGreek
TypeThesis
Rights0
RelationΗ ΒKΠ διαθέτει αντίτυπο της διατριβής σε έντυπη μορφή στο βιβλιοστάσιο διδακτορικών διατριβών που βρίσκεται στο ισόγειο του κτιρίου.

Page generated in 0.002 seconds