Ontic : a knowledge representation system for mathematics / David A. McAllester.
Τύπος υλικού: ΚείμενοΣειρά: Artificial intelligence (Cambridge, Mass.)Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1989.Περιγραφή: xiv, 158 σ. : εικ. ; 24 εκISBN:- 0262132354
- 510.285 63 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | Non-fiction | 510.285 63 McA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000281711 |
Περιλαμβάνει βιβλιογραφικές παραπομπές.