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.

 

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

Development of Correct Transformation Schemata for Prolog Programs., и . LOPSTR, том 1463 из Lecture Notes in Computer Science, стр. 263-281. Springer, (1997)Optimizing the V&V process for critical systems., , и . GECCO, стр. 1139. ACM, (2007)An Adversarial Planning Approach to Go., , , и . Computers and Games, том 1558 из Lecture Notes in Computer Science, стр. 93-112. Springer, (1998)Making Sense of Requirements, Sooner., и . Computer, 39 (10): 112-114 (2006)The Strangest Thing About Software., , и . Computer, 40 (1): 54-60 (2007)System Description: Proof Planning in Higher-Order Logic with Lambda-Clam., , и . CADE, том 1421 из Lecture Notes in Computer Science, стр. 129-133. Springer, (1998)Proofs About Lists Using Ellipsis., и . LPAR, том 1705 из Lecture Notes in Computer Science, стр. 1-12. Springer, (1999)Abstract: Proof Planning with Program Schemas.. LOPSTR, том 1559 из Lecture Notes in Computer Science, стр. 313-315. Springer, (1998)Applying adversarial planning techniques to Go., , , и . Theor. Comput. Sci., 252 (1-2): 45-82 (2001)Semi-supervised Word Sense Disambiguation with Neural Models., , , , и . COLING, стр. 1374-1385. ACL, (2016)