Automated reasoning and the discovery of missing and elegant proofs Larry Wos and Gail W. Pieper
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New Jersey Rinton Press 2003Περιγραφή: xv, 372 p. ill. 24 cm 1 cd-romISBN:- 1589490231
- 006.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 006.3 WOS (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000182077 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
006.3 WOO Reasoning about rational agents | 006.3 WOO An introduction to multiagent systems | 006.3 WOO Hypertext and hypermedia : | 006.3 WOS Automated reasoning and the discovery of missing and elegant proofs | 006.3 WRO Concept formation and knowledge revision | 006.3 YEG Artificial neural networks | 006.3 Z An introduction to neural and electronic networks |