Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: McMillan, Kenneth L. (VerfasserIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2013
Schriftenreihe:Lecture notes in computer science 8312 : Advanced research in computing and software science
Schlagworte:
Online-Zugang:Inhaltstext
Inhaltsverzeichnis
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

Inhaltstext
Inhaltsverzeichnis