( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dr.Doodle: A Diagrammatic Theorem Prover.

, , и . IJCAR, том 3097 из Lecture Notes in Computer Science, стр. 331-335. Springer, (2004)

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.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

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

Automatic Concept Formation in Pure Mathematics., , и . IJCAI, стр. 786-793. Morgan Kaufmann, (1999)Analysing Mathematical Proofs (Or Reading Between the Lines).. IJCAI, стр. 22-28. (1975)An Intelligent Front End for Ecological Modelling., , , и . ECAI, стр. 13-22. North-Holland, (1984)A Single-Significant-Digit Calculus for Semi-Automated Guesstimation., , , и . IJCAR, том 6173 из Lecture Notes in Computer Science, стр. 354-368. Springer, (2010)Harnessing the power of folksonomies for formal ontology matching on-the-fly., , и . OM, том 689 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Combining Knowledge and Search to Solve Single-Suit Bridge., , и . AAAI/IAAI, стр. 195-200. AAAI Press / The MIT Press, (2000)IJCAI Policy on Multiple Publication of Papers Revisited.. AI Commun., 3 (3): 115 (1990)Solving Symbolic Equations with PRESS., , , , и . J. Symb. Comput., 7 (1): 71-84 (1989)Calculating Error Bars on Inferences from Web Data., и . IntelliSys (2), том 869 из Advances in Intelligent Systems and Computing, стр. 618-640. Springer, (2018)MECHO, Year one., , , и . AISB (ECAI), стр. 94-103. (1976)