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

Comment on "Canonical Programming of Nonlinear and Time-Varying Differential Equations".. IEEE Trans. Computers, 18 (6): 566 (1969)Single-Parameter Solutions for Flip-Flop Equations.. IEEE Trans. Computers, 20 (4): 452-454 (1971)Inductive Reasoning in Mathematics., and . IJCAI, page 844-850. William Kaufmann, (1977)A Theorem Prover for Elementary Set Theory.. IJCAI, page 534-540. William Kaufmann, (1977)A theory of nonmonotonic planning., and . ACM Conference on Computer Science, page 247-254. ACM, (1991)SYMEVAL: A Theorem Prover Based on the Experimental Logic., and . CADE, volume 310 of Lecture Notes in Computer Science, page 756-757. Springer, (1988)Schemata., and . CADE, volume 449 of Lecture Notes in Computer Science, page 643-644. Springer, (1990)A Sequent Calculus for Modal Quantificational Logic.. AISB/GI (ECAI), page 56-65. Leeds University, (1978)A Logic Programming and Verification System for Recursive Quantificational Logic., and . IJCAI, page 742-748. Morgan Kaufmann, (1985)Inductive Reasoning on Recursive Equations., and . Artif. Intell., 12 (3): 207-229 (1979)