Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig
Quelle
buchhandel.de

Edmund M. Clarke, Andrei Voronkov und LPAR (16, 2010, Dakar)

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Titel

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Beteiligt

Edmund M. Clarke (Herausgeber)
Andrei Voronkov (Herausgeber)
LPAR (16, 2010, Dakar) (Herausgebendes Organ)

Erschienen

Berlin, Heidelberg: Springer Berlin Heidelberg
2010

Umfang

Online-Ressource

ISBN

978-3-642-16242-8

Land

Deutschland

Themen­gebiet

Informatik

Thema

Logische Programmierung, Kongress, Dakar <2010>
Programmierlogik, Kongress, Dakar <2010>
Automatisches Beweisverfahren, Kongress, Dakar <2010>
Künstliche Intelligenz, Kongress, Dakar <2010>

DDC-Notation

006.3

Reihe

Lecture Notes in Computer Science

Andere Ausgaben

Erscheint auch als Druck-Ausgabe: Logic for programming, artificial intelligence, and reasoning : 16th international conference ; revised selected papers

Persistent Identifier

urn:nbn:de:1111-20101005141 (URN)
10.1007/978-3-642-16242-8 (DOI)

Weitere Angaben

Lizenzpflichtig

Datensatz-ID

1007393769
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal