Κύριος συγγραφέας:	Von Neumann, John
Άλλοι συγγραφείς:	Taub, A. H.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Oxford : Pergamon Press, 1961
Θέματα:	Machine theory Computer science > Mathematics Automatic theorem proving