Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=006.3*
Treffer 438 von 2819
|
|
| Link zu diesem Datensatz | https://d-nb.info/1077329938 |
| Art des Inhalts | Konferenzschrift, 2015, Suva |
| Titel | Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 ; proceedings / Martin Davis [und 3 weitere] (eds.) |
| Person(en) |
Davis, Martin (Herausgeber) Fehnker, Ansgar (Herausgeber) McIver, Annabelle (Herausgeber) Voronkov, Andrei (Herausgeber) |
| Organisation(en) |
LPAR (20. : 2015 : Suva) (Verfasser) Springer-Verlag GmbH (Verlag) |
| Ausgabe | [1st ed.] |
| Verlag | Berlin ; Heidelberg : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: [2015] |
| Umfang/Format | XV, 640 Seiten : Illustrationen ; 24 cm |
| Andere Ausgabe(n) |
Erscheint auch als Online-Ausgabe: ISBN: 9783662488997 Erscheint auch als Online-Ausgabe: Logic for Programming, Artificial Intelligence, and Reasoning |
| ISBN/Einband/Preis |
978-3-662-48898-0 Broschur : ca. EUR 88.00 (AT) (freier Pr.), ca. sfr 88.00 (freier Pr.), ca. EUR 85.60 (DE) (freier Pr.), ca. EUR 84.40 (FR) (freier Pr.), ca. EUR 83.20 (IT) (freier Pr.), ca. EUR 84.80 (NL) (freier Pr.) 3-662-48898-1 |
| Bestellnummer(n) | 978-3-662-48898-0 |
| EAN | 9783662488980 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 9450 : Advanced research in computing and software science |
| Schlagwörter | Logische Programmierung ; Programmierlogik ; Automatisches Beweisverfahren ; Künstliche Intelligenz |
| DDC-Notation | 006.3 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2016 A 6713 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2016 A 9406 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 438 von 2819
Administration
