Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Finite model theory and its applications Erich Gradel ... [et al.] από Grädel, Erich, 1958- [aut] Κολαϊτης, Φωκίων [aut] Libkin, Leonid [aut] Σειρά: Texts in theoretical computer science : an EATCS series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 511.34 FIN. ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 511.3 FIN, ... ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.34 GRA, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich. από Boerger, Egon, 1946- [συγγραφέας.] Grädel, Erich, 1958- [συγγραφέας.] Gurevich, Yuri [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: New York : Springer, 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOR. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας