Media type: Book; Conference Proceedings Title: Frontiers of combining systems : 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 ; proceedings Contributor: Tinelli, Cesare [Editor]; Sofronie-Stokkermans, Viorica [Other] Event: FroCoS Published: Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6989 Extent: VIII, 274 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642243630; 9783642243639 Publisher, production or purchase order numbers: Sonstige Nummer: 80113735 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Theoretische Informatik > Logik > Programmierung Automatisches Beweisverfahren > Verifikation > Computational logic > Terminologische Logik > Komplexitätstheorie > Künstliche Intelligenz Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 2242 Item ID: 32939246 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order