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!