( en | de | ru )

 

Disambiguierung von "Stickel, Mark E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).

, , , , , und . Electron. Notes Discret. Math., (2001)

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.

Mark E Villiger

Mark E Secan

Mark E Biddle

Elisabeth Stickel

Joachim Stickel

 

Weitere Publikationen von Autoren mit dem selben Namen

A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.. J. Autom. Reason., 4 (4): 353-380 (1988)A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.. J. Autom. Reason., 3 (3): 285-289 (1987)An Introduction to Automated Deduction.. Advanced Course: Fundamentals of Artificial Intelligence, Volume 232 von Lecture Notes in Computer Science, Seite 75-132. Springer, (1985)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 341-355. Springer, (1994)Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)., , , , , und . Electron. Notes Discret. Math., (2001)Detection and elimination of inference channels in multilevel relational database systems., , , , und . S&P, Seite 196-205. IEEE Computer Society, (1993)Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).. RTA, Volume 914 von Lecture Notes in Computer Science, Seite 101. Springer, (1995)A Prolog Technology Theorem Prover.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 752-753. Springer, (1988)Building Theorem Provers.. CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 306-321. Springer, (2009)Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.. J. Autom. Reason., 13 (2): 189-210 (1994)