Media type: Book; Conference Proceedings Title: Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings Contributor: Cervesato, Iliano [Hrsg.]; Veith, Helmut [Other]; Voronkov, Andrei [Other] Event: LPAR imprint: Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5330 Extent: XIV, 714 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540894381; 9783540894384 Publisher, production or purchase order numbers: Sonstige Nummer: 12573158 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung Automatisches Beweisverfahren Programmierlogik Inferenz Terminologische Logik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 9908 Item ID: 32118111 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order