A review of several programs for the support of logics/
Main Author: | |
---|---|
Corporate Authors: | , |
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
London:
University of London,
1991
|
Series: | Technical report / University of London. Queen Mary and Westfield College. Department of Computer Science ;
548 |
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών | 004 TRUL 548 | 1 | Προβολή | OPAC |