Media type: E-Book Title: Instantiation Theory : On the Foundations of Automated Deduction Contributor: Williams, James G. [Author] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1991 Published in: Lecture notes in computer science ; 518 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/BFb0031932 ISBN: 9783540475613 Identifier: RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation SS 4800 : Lecture notes in computer science Keywords: Instantiierung Origination: Footnote: