A review of several programs for the support of logics/

Main Author: Goldson, D.
Corporate Authors: University of London. Queen Mary and Westfield College., Department of Computer Science
Other Authors: Reeves, S., Bornat, R.
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 5481ΠροβολήOPAC