Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Davis, Martin 1928-2023 (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin ; Heidelberg Springer [2015]
Ausgabe:1st ed.
Schriftenreihe:Lecture Notes in Computer Science 9450
Schlagworte:
Computer science
Computer programming
Software engineering
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Artificial intelligence
Computer Science
Software Engineering
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Programming Languages, Compilers, Interpreters
Informatik
Künstliche Intelligenz
Programmierlogik
Logische Programmierung
Automatisches Beweisverfahren
Konferenzschrift
Konferenzschrift > 24.11.2015-28.11.2015 > Suva
Online-Zugang:Volltext
Abstract
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Volltext
Abstract

Ähnliche Einträge