Treffer: Automated Reasoning

Titel:

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Ulrich Furbach, Natarajan Shankar

Beteiligt:

Furbach, Ulrich (Herausgeber); Shankar, Natarajan (Herausgeber)

Ausgabe:

1st ed. 2006

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XVI, 688 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 4130

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Automated Reasoning. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540371878

RVK-Notation:

SS 1800 ST 285 ST 304

Schlagworte:

ISBN:

9783540371885 ; 3540371885 ; --354037187-7 ; --354082751-X ; 978--354037187-8 (Sekundärausgabe) ; 978--354082751-1 (Sekundärausgabe)

DOI:

10.1007/11814771

Treffer: Automated Reasoning

Zusatz-Informationen

Zusatz-Funktionen