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

Αποτελέσματα
	1.	ML for the working programmer από Paulson, Lawrence C [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 PAU, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	Logic and computation Interactive Proof with Cambridge LCF Lawrence C. Paulson από Paulson, Lawrence C [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.125 PAU. Προσθήκη στο καλάθι (αφαίρεση)
	3.	ML for the working programmer / Lawrence C. Paulson. από Paulson, Lawrence C [συγγραφέας.] Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.133 PAU, ... Προσθήκη στο καλάθι (αφαίρεση)
	4.	Interactive Theorem Proving [electronic resource] First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Matt Kaufmann, Lawrence C. Paulson από Kaufmann, Matt Paulson, Lawrence C SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6172 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας