Media type: Book; Conference Proceedings Title: Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 ; proceedings Contributor: Furbach, Ulrich [Other] Event: IJCAR Published: Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4130 Extent: XV, 680 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 9783540371878; 3540371877 Publisher, production or purchase order numbers: Sonstige Nummer: 11814771 RVK notation: SS 4800 : Lecture notes in computer science SS 2006 : Veranstaltungsjahr 2006 Keywords: Informatik > Logik > Automatisches Beweisverfahren Prädikatenlogik > Problemlösen > Ordnung n Berechnungskomplexität > Reduktionssystem > Schnittelimination > Terminologische Logik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7658 Item ID: 31680700 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order