( en | de | ru )

 

Disambiguierung von "Socher-Ambrosius, Rolf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing the Derivation of Redundant Clauses in Reasoning Systems.

. IJCAI, Seite 401-406. Morgan Kaufmann, (1989)

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.

Rolf Socher

Karin Socher

Heinrich Socher

Michaela Socher

Wolfgang Socher

 

Weitere Publikationen von Autoren mit dem selben Namen

Reducing the Derivation of Redundant Clauses in Reasoning Systems.. IJCAI, Seite 401-406. Morgan Kaufmann, (1989)Detecting Redundancy Caused by Congruent Links in Clause Graphs.. GWAI, Volume 216 von Informatik-Fachberichte, Seite 74-82. Springer, (1989)Boolean Algebra Admits No Convergent Term Rewriting System.. RTA, Volume 488 von Lecture Notes in Computer Science, Seite 264-274. Springer, (1991)Unification in Order-Sorted Logic With Term Declarations.. LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 301-308. Springer, (1993)Solving Simplification Ordering Constraints., und . CCL, Volume 845 von Lecture Notes in Computer Science, Seite 352-367. Springer, (1994)A Refined Version of General E-Unification.. CADE, Volume 814 von Lecture Notes in Computer Science, Seite 665-677. Springer, (1994)Using Theory Resolution to Simplify Interpreted Formulae.. GWAI, Volume 181 von Informatik-Fachberichte, Seite 179-185. Springer, (1988)A Resolution Calculus Extende by Equivalence., und . GWAI, Volume 216 von Informatik-Fachberichte, Seite 102-106. Springer, (1989)On the Unnecessity of Multiple Overlaps in Completion Theorem Proving., und . GWAI, Volume 181 von Informatik-Fachberichte, Seite 169-178. Springer, (1988)A Goal Oriented Strategy Based on Completion.. ALP, Volume 632 von Lecture Notes in Computer Science, Seite 435-445. Springer, (1992)