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

Αποτελέσματα
	1.	A computational logic handbook Robert s. Boyer and J. Strother Moore auth. από Boyer, Robert [aut] Moore, J. Strother [aut] Σειρά: Academic Press International Series in Formal Methods / Micahel G. Hinchey Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: San Diego Academic Press 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 005.131 BOY. Προσθήκη στο καλάθι (αφαίρεση)
	2.	A Computational Logic Handbook Robert S. Boyer, J. Strother Moore από Moore, J. Strother [aut] Boyer, Robert [aut] Σειρά: Perspectives in computing ; ωολ. 23 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο; Λεπτομέρειες δημοσίευσης: Boston Academic Press 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 005.131 BOY. Προσθήκη στο καλάθι (αφαίρεση)

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