Konferenzschrift

Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783662488980
3662488981
Maße
24 cm
Umfang
XV, 640 Seiten
Ausgabe
[1st ed.]
Sprache
Englisch
Anmerkungen
Illustrationen

Erschienen in
Lecture notes in computer science ; 9450 : Advanced research in computing and software science

Schlagwort
Logische Programmierung
Programmierlogik
Automatisches Beweisverfahren
Künstliche Intelligenz

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
[2015]
Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:32 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Konferenzschrift

Beteiligte

Entstanden

  • [2015]

Ähnliche Objekte (12)

Proceedings of the DENDROSYMPOSIUM 2015 : May 20th - 23rd, 2015 in Sevilla, Spain

Proceedings of the DENDROSYMPOSIUM 2015 : May 20th - 23rd, 2015 in Sevilla, Spain

Case based reasoning : new developments : workshop proceedings : 8th International Workshop on Case-Based Reasoning, CBR-MD 2015, Hamburg, Germany, July 2015

Konferenzschrift

Case based reasoning : new developments : workshop proceedings : 8th International Workshop on Case-Based Reasoning, CBR-MD 2015, Hamburg, Germany, July 2015

Fiji.

Aufsatz

Fiji.

Fiji

Abschnitt

Fiji

Fiji

Abschnitt

Fiji

Fiji.

Aufsatz

Fiji.

Fiji.

Aufsatz

Fiji.

Fiji.

Aufsatz

Fiji.

Fiji

Abschnitt

Fiji

Fiji.

Aufsatz

Fiji.

Fiji.

Abschnitt

Fiji.

Fiji

Abschnitt

Fiji

Verbundene Objekte