Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29,2012, Proceedings, Lecture Notes in Computer Science 7364 - Lecture Notes in Artificial Intelligence
Bernhard Gramlich/Dale Miller/Ulrike Sattler
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 20.06.2012
Umfang: xiv, 568 S., 90 s/w Illustr., 568 p. 90 illus.
Sprache: ENG
Einband: KT
Format: 3.2 x 23.7 x 15.5 cm
ISBN/EAN: 9783642313646
Umbreit-Nr.: 3705080
