24th EACSL Annual Conference on Computer Science Logic : CSL 2015, September 7-10, 2015, Berlin, Germany

Einordnung

Konferenz:

EACSL Annual Conference on Computer Science Logic (CSL) ; 24 (Berlin) : 2015.09.07-10

Herausgebendes Organ:

Annual Conference on Computer Science Logic 24. 2015 Berlin

Veranstalter:

GND

2156125-4

European Association for Computer Science Logic

In Serie:

Leibniz International Proceedings in Informatics : LIPIcs
Bd. 41 (09.2015)

Datum der Erstellung:

15.04.2020

Datum der Veröffentlichung:

09.2015

ISBN:

9783939897903

URN:

urn:nbn:de:0030-drops-54670

DOI:

10.4230/LIPIcs.CSL.2015.i

PPN:

846784246

Sprache:

Englisch

Ressourcentyp:

Text

Umfang:

683 Seiten

Erscheinungsort:

Saarbrücken/Wadern

Verlag:

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Schlagwörter:

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

DDC-Sachgruppe der DNB:

004 Informatik

Link URL:

http://drops.dagstuhl.de/opus/volltexte/2015/5467/

Link URL:

http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=15014

Einrichtung:

Technische Universität Ilmenau, Universitätsbibliothek