( en | de | ru )

 

Disambiguierung von "Stickel, Mark E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Introduction to Automated Deduction.

. Advanced Course: Fundamentals of Artificial Intelligence, Volume 232 von Lecture Notes in Computer Science, Seite 75-132. Springer, (1985)

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

Werner 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)Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)., , , , , und . Electron. Notes Discret. Math., (2001)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)Detection and elimination of inference channels in multilevel relational database systems., , , , und . S&P, Seite 196-205. IEEE Computer Society, (1993)A Hole in Goal Trees: Some Guidance from Resolution Theory., und . IJCAI, Seite 153-161. William Kaufmann, (1973)Balance and Filtering in Structured Satisfiable Problems., , , , , и . IJCAI, стр. 351-358. Morgan Kaufmann, (2001)Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).. RTA, том 914 из Lecture Notes in Computer Science, стр. 101. Springer, (1995)A Prolog Technology Theorem Prover.. CADE, том 310 из Lecture Notes in Computer Science, стр. 752-753. Springer, (1988)