Εξώφυλλο από Amazon.com
First-order logic and automated theorem proving / Melvin Fitting.
Τύπος υλικού:
ΚείμενοΓλώσσα: Αγγλικά Σειρά: Graduate texts in computer scienceΛεπτομέρειες δημοσίευσης: New York : Springer, c1996.Έκδοση: 2nd edΠεριγραφή: xvi, 326 σ. : εικ. ; 24 εκISBN: - 0387945938
- 511.3
Ελλιπή περιεχόμενα:
Includes index, references
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|---|
![Book [21]](https://library.upatras.gr/nereus/nereus-book-yes.png "Book [21]")
Book [21]
|
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 F (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000055285 | ||
|
Book [21]
|
ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 511.3 FIT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000283041 | |
|
Book [21]
|
ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 511.3 FIT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000286056 | |
| Μηχανικών Η/Υ και Πληροφορικής | 511.3 FIT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Διαθέσιμο | ||||
| Μηχανικών Η/Υ και Πληροφορικής | 511.3 FIT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 4 | Διαθέσιμο | ||||
| Μηχανικών Η/Υ και Πληροφορικής | 511.3 FIT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 5 | Διαθέσιμο |
Includes index, references
