Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Results of second annual computer chess championship.. SIGART Newsl., (1971)A Prover for General Inequalities., , and . IJCAI, page 66-69. William Kaufmann, (1979)Some Thoughts on Proof Discovery.. SLP, page 2-10. IEEE-CS, (1986)Set Variables.. IJCAI, page 501-510. William Kaufmann, (1977)Interactive Proof Presentation.. Computational Logic - Essays in Honor of Alan Robinson, page 136-165. The MIT Press, (1991)A Man-Machine Theorem-Proving System., and . IJCAI, page 56-66. William Kaufmann, (1973)Computer Proofs of Limit Theorems., , and . IJCAI, page 586-600. William Kaufmann, (1971)An interactive program verification system., , and . Reliable Software, page 482-492. ACM, (1975)First U.S. computer chess tournament.. SIGART Newsl., (1970)Errata.. SIGART Newsl., (1972)