Media type: Book; Conference Proceedings Title: Automated deduction : CADE-11 ; proceedings Contributor: Kapur, Deepak [Hrsg.] Event: CADE imprint: Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 607 Extent: XV, 793 S; graph. Darst Language: English ISBN: 3540556028; 0387556028 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Automatisches Beweisverfahren Automatisches Beweisverfahren Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0892 81740 001 Item ID: 10119262 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order