( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Common Sense Planning.

, , и . ACM Conference on Computer Science, стр. 281-287. ACM, (1990)

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.

Martin Brown

Jonathan Brown

Gary Brown

Gary Brown

Nelson Brown

 

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

A theory of nonmonotonic planning., и . ACM Conference on Computer Science, стр. 247-254. ACM, (1991)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., и . IJCAI, стр. 844-850. William Kaufmann, (1977)A Theorem Prover for Elementary Set Theory.. IJCAI, стр. 534-540. William Kaufmann, (1977)A Sequent Calculus for Modal Quantificational Logic.. AISB/GI (ECAI), стр. 56-65. Leeds University, (1978)A Logic Programming and Verification System for Recursive Quantificational Logic., и . IJCAI, стр. 742-748. Morgan Kaufmann, (1985)SYMEVAL: A Theorem Prover Based on the Experimental Logic., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 756-757. Springer, (1988)Schemata., и . CADE, том 449 из Lecture Notes in Computer Science, стр. 643-644. Springer, (1990)Inductive Reasoning on Recursive Equations., и . Artif. Intell., 12 (3): 207-229 (1979)