• Automated Reasoning
  • *Description*

*Result*: Automated Reasoning

*Title*:
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Ulrich Furbach, Natarajan Shankar
*Author/editor-in-chief*:
Furbach, Ulrich (Herausgeber); Shankar, Natarajan (Herausgeber)
*Edition*:
1st ed. 2006
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XVI, 688 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 4130
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Automated Reasoning. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540371878
*RVK-Notation*:
*SS 1800* *ST 285* *ST 304*
*Subject Added Keywords*:
*ISBN*:
9783540371885 ; 3540371885 ; --354037187-7 ; --354082751-X ; 978--354037187-8 (Sekundärausgabe) ; 978--354082751-1 (Sekundärausgabe)
*DOI*:
10.1007/11814771

*Additional information*

*Additional functions*