Media type: Book; Conference Proceedings Title: Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings Contributor: Baaz, Matthias [Editor] Event: LPAR Published: Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2514 Extent: XIII, 463 S; graph. Darst Language: English ISBN: 3540000100 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung Automatisches Beweisverfahren Programmierlogik Logische Programmierung Automatisches Beweisverfahren Programmierlogik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5821 Item ID: 30932531 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order