Treffer: Logic for Programming, Artificial Intelligence, and Reasoning

Titel:

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / edited by Miki Hermann, Andrei Voronkov

Beteiligt:

Hermann, Miki (Herausgeber); Voronkov, Andrei (Herausgeber)

Ausgabe:

1st ed. 2006

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XIV, 592 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Logic for Programming, Artificial Intelligence, and Reasoning. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540482819

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540482826 ; 3540482822 ; --354048281-4 ; --354083227-0 ; 978--354048281-9 (Sekundärausgabe) ; 978--354083227-0 (Sekundärausgabe)

DOI:

10.1007/11916277

Treffer: Logic for Programming, Artificial Intelligence, and Reasoning

Zusatz-Informationen

Zusatz-Funktionen