Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: dcs=006.3*

Zurück zur Trefferliste

Treffer 919 von 5607


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 919 von 5607

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

buchhandel.de

Administration