( en | de | ru )

 

Disambiguation of "Dershowitz, Nachum"

Author of the publication

copydeleteadd this publication to your clipboard
Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

, and . ICALP, volume 154 of Lecture Notes in Computer Science, page 331-346. Springer, (1983)

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. You can also use the button next to the name to display some publications already assigned to the person.

Nachum Silberberg

Nachum Wahrmann

Nachum Orland

Nachum Orland

Nachum Wahrmann

 

Other publications of authors with the same name

Logic Programming by Completion., and . ICLP, page 313-320. Uppsala University, (1984)Average Time Analyses Related to Logic Programming., and . ICLP, page 369-381. MIT Press, (1989)Confluence of Conditional Rewrite Systems., , and . CTRS, volume 308 of Lecture Notes in Computer Science, page 31-44. Springer, (1987)Matching Phrases for Arabic-to-English Example-Based Translation System., , and . Language, Culture, Computation (3), volume 8003 of Lecture Notes in Computer Science, page 54-63. Springer, (2014)Semantic Characteristics of Schizophrenic Speech., , , , , , and . CoRR, (2019)Conditional Equational Programming and the Theory of Conditional Term Rewriting., and . FGCS, page 337-346. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Synthesis by Completion.. IJCAI, page 208-214. Morgan Kaufmann, (1985)The evolution of programs.. Progress in computer science Birkhäuser, (1983)Rewrite Methods for Clausal and Non-Clausal Theorem Proving., and . ICALP, volume 154 of Lecture Notes in Computer Science, page 331-346. Springer, (1983)Language Classification and Segmentation of Noisy Documents in Hebrew Scripts., and . LaTeCH@EACL, page 112-117. The Association for Computer Linguistics, (2012)