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.

 

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

From Question-Answering to Information-Seeking Dialogs, , , , , , , и . (2002)Powerpoint presentation.FASTUS: A Cascaded Finite-State Tranducer for Extracting Information from Natural- Language Text, Sri International, , , , , , и . Sri International, 8. September 2003, (1993)FASTUS: A Cascaded Finite-state Transducer for Extracting Information from Natural-language Text, , , , , , и . Finite State Devices for Natural Language Processing, MIT Press, Cambridge, MA, (1996)From Question-Answering to Information-Seeking Dialogs, , , , , , , и . (2001)Powerpoint presentation.A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.. J. Autom. Reason., 4 (4): 353-380 (1988)A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.. J. Autom. Reason., 3 (3): 285-289 (1987)Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)., , , , , и . Electron. Notes Discret. Math., (2001)An Introduction to Automated Deduction.. Advanced Course: Fundamentals of Artificial Intelligence, том 232 из Lecture Notes in Computer Science, стр. 75-132. Springer, (1985)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , и . CADE, том 814 из Lecture Notes in Computer Science, стр. 341-355. Springer, (1994)Detection and elimination of inference channels in multilevel relational database systems., , , , и . S&P, стр. 196-205. IEEE Computer Society, (1993)