( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mechanizing Inductive Reasoning.

, и . AAAI, стр. 240-245. AAAI Press / The MIT Press, (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.

Michaël Bekaert

Michaël Lafaye

Michaël Rao

Michaël Hauspie

Michaël Chopin

 

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

Rewrite based Verification of XML Updates, и . CoRR, (2009)Preferring diagnoses by abduction., , и . IEEE Trans. Syst. Man Cybern., 23 (3): 792-808 (1993)Any Gound Associative-Commutative Theory Has a Finite Canonical System., и . RTA, том 488 из Lecture Notes in Computer Science, стр. 423-434. Springer, (1991)A Proof System for Conditional Algebraic Specifications., и . CTRS, том 516 из Lecture Notes in Computer Science, стр. 51-63. Springer, (1990)On Word Problems in Horn Theories., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 527-537. Springer, (1988)One-variable context-free hedge automata., и . J. Comput. Syst. Sci., (2019)Matching a Set of Strings with Variable Length Don't Cares., и . CPM, том 937 из Lecture Notes in Computer Science, стр. 230-247. Springer, (1995)Studies on the Ground Convergence Property of Conditional Theories., и . AMAST, стр. 363-376. Springer, (1991)Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption., , , и . ACM Trans. Comput. Log., 9 (4): 24:1-24:52 (2008)Reasoning with Conditional Axioms., и . Ann. Math. Artif. Intell., 15 (2): 125-149 (1995)