Media type: E-Book Title: The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation Contributor: Schaub, Torsten [Author] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1409 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/BFb0054963 ISBN: 9783540645153 Identifier: RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation SS 4800 : Lecture notes in computer science Keywords: Default-Logik Origination: University thesis: Footnote: