Cover Image

Deduction : automated logic /

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

Similar Items