Media type: Book; Conference Proceedings Title: Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings Contributor: Ghilardi, Silvio [Hrsg.]; Sebastiani, Roberto [Other] Event: FroCoS imprint: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5749 Extent: X, 382 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 364204221X; 9783642042218 Publisher, production or purchase order numbers: Sonstige Nummer: 12747566 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Informatik > Logik Automatisches Beweisverfahren Künstliche Intelligenz Problemlösen > Logik Programmierlogik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 463 Item ID: 32542895 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order