author = { Williams, James G. },

title = { Instantiation Theory On the Foundations of Automated Deduction },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540475613},

keywords = { Algebra_xData processing , Artificial intelligence , Computer science , Computer software , Logic, Symbolic and mathematical , Computer Science , Instantiierung },

year = {1991},

booktitle = {Lecture Notes in Computer Science ; 518},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }