( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Comparing Computational Power

, и . (октября 2005)

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.

Nachum Silberberg

Nachum Wahrmann

Nachum Orland

Nachum Orland

Nachum Wahrmann

 

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

Logic Programming by Completion., и . ICLP, стр. 313-320. Uppsala University, (1984)Average Time Analyses Related to Logic Programming., и . ICLP, стр. 369-381. MIT Press, (1989)Canonical Inference for Implicational Systems., и . IJCAR, том 5195 из Lecture Notes in Computer Science, стр. 380-395. Springer, (2008)Higher-Order and Semantic Unification., и . FSTTCS, том 761 из Lecture Notes in Computer Science, стр. 139-150. Springer, (1993)Rewrite Methods for Clausal and Non-Clausal Theorem Proving., и . ICALP, том 154 из Lecture Notes in Computer Science, стр. 331-346. Springer, (1983)Stemming and Segmentation for Classical Tibetan., , , , , , и . CICLing (1), том 9623 из Lecture Notes in Computer Science, стр. 294-306. Springer, (2016)Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus., и . CICLing (2), том 8404 из Lecture Notes in Computer Science, стр. 254-270. Springer, (2014)Towards an Axiomatization of Simple Analog Algorithms., , и . TAMC, том 7287 из Lecture Notes in Computer Science, стр. 525-536. Springer, (2012)Debugging Logic Programs Using Specifications., и . AADEBUG, том 749 из Lecture Notes in Computer Science, стр. 75-84. Springer, (1993)Confluence of Conditional Rewrite Systems., , и . CTRS, том 308 из Lecture Notes in Computer Science, стр. 31-44. Springer, (1987)