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

Αποτελέσματα
	1.	Natural language understanding James Allen από Allen, James, 1950- Σειρά: Benjamin/Cummings series in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: California The Benjamin/Cummings publishing company c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 ALL. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. από Dijkstra, Edsger Wybe [συγγραφέας] Scholten, Carel S [συγγραφέας] Σειρά: Texts and monographs in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DIJ. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Semantics of Sequential and Parallel Programming από Best, Eike [aut] Σειρά: Prentice-Hall International Series in Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Prentice Hall c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 BES. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher. από Streicher, Thomas, 1958- [συγγραφέας.] Σειρά: Progress in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Boston : Birkhäuser, 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 STR. Προσθήκη στο καλάθι (αφαίρεση)

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