From post

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.

 

Другие публикации лиц с тем же именем

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