Κανονική προβολή
Προβολή MARC
- Λογική ανώτερου βαθμού (Μαθηματικά)
Λογική ανώτερου βαθμού (Μαθηματικά) (Topical Term)
Machine generated authority record.
Work cat.: (GR-PaULI)89723: Higher order logic and harware verification, c1993
Machine generated authority record.
Work cat.: (GR-PaULI)89723: Higher order logic and harware verification, c1993
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |