Media type: Book Title: Automation of reasoning / ed. by Jörg Siekmann 2, Classical papers on computational logic 1967 - 1970 imprint: Berlin; Heidelberg [u.a.]: Springer, 1983 Published in: Automation of reasoning / ed. by Jörg Siekmann ... ; 2 Extent: XII, 637 S.; graf. Darst Language: English ISBN: 0387120440; 3540120440 RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2002 8 069651 Item ID: 31080942 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order