Κύριος συγγραφέας:	Manna, Zohar
Άλλοι συγγραφείς:	Waldinger, Richard
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Addison-Wesley, c1993
Θέματα:	Electronic digital computers > Programming Logic, Symbolic and mathematical Logic programming