( en | de | ru )

 

Disambiguation of "Baumgartner, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Tableaux for Diagnosis Applications.

, , , and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 76-90. Springer, (1997)

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.

Peter Baumgartner

Peter Baumgartner

Peter Baumgartner

Peter Baumgartner

Peter Baumgartner

 

Other publications of authors with the same name

Theory Reasoning in Connection Calculi. Lecture Notes in Computer Science Springer, (1998)The Taming of the (X)OR., and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 508-522. Springer, (2000)Logical Engineering with Instance-Based Methods.. CADE, volume 4603 of Lecture Notes in Computer Science, page 404-409. Springer, (2007)Improving Reusability of OER - Educational Patterns for Content Sharing.. ICT-EurAsia, volume 8407 of Lecture Notes in Computer Science, page 277-285. Springer, (2014)Merge Path Improvements for Minimal Model Hyper Tableaux., , and . TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 51-65. Springer, (1999)An Order Theory Resolution Calculus.. LPAR, volume 624 of Lecture Notes in Computer Science, page 119-130. Springer, (1992)A Model Elimination Calculus with Built-in Theories.. GWAI, volume 671 of Lecture Notes in Computer Science, page 30-42. Springer, (1992)Hierarchic Superposition Revisited., and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 15-56. Springer, (2019)Educating the Knowledge Worker in the Information Society: Baser - Basic Support for Efficient Research., and . Teleteaching, volume 120 of books@ocg.at, page 109-118. Austrian Computer Society, (1998)Linear and Unit-Resulting Refutations for Horn Theories.. J. Autom. Reason., 16 (3): 241-319 (1996)