Media type: Book Title: Instantiation theory : on the foundations of automated deduction Contributor: Williams, James G. [Author] imprint: Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 518 Extent: VIII, 133 Seiten; graph. Darst Language: English ISBN: 3540543333; 0387543333 RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation SS 4800 : Lecture notes in computer science Keywords: Instantiierung Instantiierung Origination: Footnote: Literaturverz. S. [128] - 133
Central Library – stack Shelf-mark: 93 8 14852 001 Item ID: 10063360 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.