( en | de | ru )

 

Disambiguierung von "Dershowitz, Nachum"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Rationale for Conditional Equational Programming.

, und . Theor. Comput. Sci., 75 (1&2): 111-138 (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nachum Silberberg

Nachum Wahrmann

Nachum Orland

Nachum Orland

Nachum Wahrmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Canonical Inference for Implicational Systems., und . IJCAR, Volume 5195 von Lecture Notes in Computer Science, Seite 380-395. Springer, (2008)Stemming and Segmentation for Classical Tibetan., , , , , , und . CICLing (1), Volume 9623 von Lecture Notes in Computer Science, Seite 294-306. Springer, (2016)Towards an Axiomatization of Simple Analog Algorithms., , und . TAMC, Volume 7287 von Lecture Notes in Computer Science, Seite 525-536. Springer, (2012)Debugging Logic Programs Using Specifications., und . AADEBUG, Volume 749 von Lecture Notes in Computer Science, Seite 75-84. Springer, (1993)Drags: A compositional algebraic framework for graph rewriting., und . Theor. Comput. Sci., (2019)Conditional Equational Programming and the Theory of Conditional Term Rewriting., und . FGCS, Seite 337-346. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Synthesis by Completion.. IJCAI, Seite 208-214. Morgan Kaufmann, (1985)Confluence of Conditional Rewrite Systems., , und . CTRS, Volume 308 von Lecture Notes in Computer Science, Seite 31-44. Springer, (1987)Semantic Characteristics of Schizophrenic Speech., , , , , , und . CoRR, (2019)Matching Phrases for Arabic-to-English Example-Based Translation System., , und . Language, Culture, Computation (3), Volume 8003 von Lecture Notes in Computer Science, Seite 54-63. Springer, (2014)