CALCULEMUS
Higher Level Directory LogBank Main Menu


Turing Machine and Mechanization of Reasoning
A Half-Century Survey
Since Turing's Intelligent Machinery


II Workshop in Logic, Informatics and Philosophy of Science
Zakopane, Poland, September 27 - October 1, 1998
(LIPS '98)