Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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.
 
 

Ergebnis der Suche nach: dcs=006.3*



Treffer 778 von 2820 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1044262508
Art des Inhalts Konferenzschrift, 2013, Stellenbosch
Titel Logic for programming, artificial intelligence, and reasoning : 19th international conference ; proceedings / LPAR-19, Stellenbosch, South Africa, December 14 - 19, 2013. Ken McMillan ... (ed.)
Person(en) McMillan, Kenneth L. (Herausgeber)
Middeldorp, Aart (Herausgeber)
Voronkov, Andrei (Herausgeber)
Organisation(en) LPAR (19 : 2013 : Stellenbosch) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg : Springer
Zeitliche Einordnung Erscheinungsdatum: 2013
Umfang/Format XIV, 794 S. : graph. Darst. ; 24 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN/Einband/Preis 978-3-642-45220-8 kart. : ca. EUR 93.09 (DE) (freier Pr.), ca. EUR 95.70 (AT) (freier Pr.), ca. sfr 116.00 (freier Pr.)
3-642-45220-5
Bestellnummer(n) 86352516
EAN 9783642452208
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; 8312
Anmerkungen Literaturangaben
Schlagwörter Logische Programmierung ; Kongress ; Stellenbosch <2013>
Programmierlogik ; Kongress ; Stellenbosch <2013>
Automatisches Beweisverfahren ; Kongress ; Stellenbosch <2013>
Künstliche Intelligenz ; Kongress ; Stellenbosch <2013>
DDC-Notation 006.3 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis
Inhaltstext

Frankfurt Signatur: 2014 A 14930
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2014 A 7775
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 778 von 2820
< < > <


E-Mail-IconAdministration