A computational logic handbook /

Main Author: Boyer, Robert S.
Other Authors: Moore, J. Strother
Format: Book
Language:English
Published: Boston: Academic Press, 1988
Edition:2η εκδ.
Series:Academic Press International Series in Formal Methods
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
ΤΕΙ Ανατολικής Μακεδονίας & Θράκης511.3 BOY1ΠροβολήOPAC