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

Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment., and . AAAI Spring Symposium: Semantic Scientific Knowledge Integration, page 109-113. AAAI, (2008)A Deductive Approach to Program Synthesis., and . IJCAI, page 542-551. William Kaufmann, (1979)Zohar Manna (1939-2018)., and . Formal Aspects Comput., 31 (6): 643-660 (2019)The automatic synthesis of recursive programs., and . Artificial Intelligence and Programming Languages, page 29-36. ACM, (1977)From Question-Answering to Information-Seeking Dialogs, , , , , , , and . (2001)Powerpoint presentation.DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer., and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 683-690. AFIPS Press, (1978)Monotonicity Properties in Automated Deduction., , and . Artificial and Mathematical Theory of Computation, page 261-280. Academic Press / Elsevier, (1991)From Question-Answering to Information-Seeking Dialogs, , , , , , , and . (2002)Powerpoint presentation.In Memory of Mark Stickel., , and . J. Autom. Reason., 56 (2): 95-98 (2016)ARPA äutomatic programming" meeting.. SIGART Newsl., (1974)