Author of the publication

Further Results on the N-tuple Pattern Recognition Method.

. IRE Trans. Electron. Comput., 10 (1): 96 (1961)

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

What Is Automated Theorem Proving?, and . J. Autom. Reason., 1 (1): 23-28 (1985)Interactive Proof Presentation.. Computational Logic - Essays in Honor of Alan Robinson, page 136-165. The MIT Press, (1991)A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness., and . J. ACM, 17 (3): 525-534 (1970)Computer Proofs of Limit Theorems., , and . IJCAI, page 586-600. William Kaufmann, (1971)A Man-Machine Theorem-Proving System., and . IJCAI, page 56-66. William Kaufmann, (1973)An interactive program verification system., , and . Reliable Software, page 482-492. ACM, (1975)Results of second annual computer chess championship.. SIGART Newsl., (1971)Splitting and Reduction Heuristics in Automatic Theorem Proving.. Artif. Intell., 2 (1): 55-77 (1971)Completeness Results for Inequality Provers., , and . Artif. Intell., 27 (3): 255-288 (1985)A Prover for General Inequalities., , and . IJCAI, page 66-69. William Kaufmann, (1979)