Computer Science Logic 2012 : 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France

Einordnung

Konferenz:

International Workshop on Computer Science Logic (CSL) ; 26 (Fontainebleau) : 2012.09.03-06

Herausgebendes Organ:

GND

2156125-4

European Association for Computer Science Logic;

GND

10348416-4

Schloss Dagstuhl, Leibniz-Zentrum für Informatik

In Serie:

Leibniz International Proceedings in Informatics : LIPIcs
Bd. 16 (09.2012)

Datum der Erstellung:

10.03.2020

Datum der Veröffentlichung:

09.2012

PPN:

737563443

DOI:

10.4230/LIPIcs.CSL.2012.i

URN:

urn:nbn:de:0030-drops-36966

ISBN:

978-3-939897-42-2

Sprache:

Englisch

Ressourcentyp:

Text

Umfang:

XIV, 542 Seiten

Schlagwörter:

Programmierlogik^GND; Theoretische Informatik^GND; Logik^GND; Computational logic^GND; Logische Programmierung^GND

DDC-Sachgruppe der DNB:

004 Informatik

Einrichtung:

Technische Universität Ilmenau, Universitätsbibliothek