Κανονική προβολή
Προβολή MARC
- HORN CLAUSES
HORN CLAUSES (Topical Term)
Machine generated authority record.
Work cat.: (GR-PaULI)89213: Computing in Horn Clause Theories, c1988
 |
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |
   |
 |