Cover Image

Deduction: automated logic/

Main Author: Bibel, Wolfgang, 1938-
Other Authors: Holldobler, Steffen,
Format: Book
Language:German
Published: London: Academic Press, c1993
Subjects:
Logic
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουBC71.B53 19931ΠροβολήOPAC

Similar Items