( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Reasoning, Knowledge Representation and Management.

, , и . Künstliche Intell., 19 (1): 5- (2005)

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.

Peter Baumgartner

Peter Baumgartner

Peter Baumgartner

Peter Baumgartner

Peter Baumgartner

 

Другие публикации лиц с тем же именем

The model evolution calculus as a first-order DPLL method., и . Artif. Intell., 172 (4-5): 591-632 (2008)Studieren und Forschen mit dem Internet – Wissensmanagement in der Informationsgesellschaft. Band 1, стр. 311 -- 324. Schneider, Baltmannsweiler, (2001)ROI: Reusable Object and Instruction Paradox. Keynote at the 9th European Conference on Media in Higher Education GMW, Graz, (2004)Hierarchic Superposition Revisited., и . Description Logic, Theory Combination, and All That, том 11560 из Lecture Notes in Computer Science, стр. 15-56. Springer, (2019)Educating the Knowledge Worker in the Information Society: Baser - Basic Support for Efficient Research., и . Teleteaching, том 120 из books@ocg.at, стр. 109-118. Austrian Computer Society, (1998)North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol., , , , , , и . CoRR, (2021)Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective., , , , , , , , и . CoRR, (2022)Preface., , и . J. Autom. Reason., 45 (2): 89 (2010)Linear and Unit-Resulting Refutations for Horn Theories.. J. Autom. Reason., 16 (3): 241-319 (1996)Theory Reasoning in Connection Calculi. Lecture Notes in Computer Science Springer, (1998)