Computer Science Logic 2018 : CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

Einordnung

Konferenz:

EACSL Annual Conference on Computer Science Logic ; 27 (Birmingham) : 2018.09.04-08

Herausgebendes Organ:

GND

1168183855

EACSL Annual Conference on Computer Science Logic <27., 2018, Birmingham>

Veranstalter:

GND

2156125-4

European Association for Computer Science Logic

In Serie:

Leibniz International Proceedings in Informatics : LIPIcs
Bd. 119 (08.2018)

Datum der Erstellung:

03.04.2020

Datum der Veröffentlichung:

08.2018

ISBN:

9783959770880

URN:

urn:nbn:de:0030-drops-97444

DOI:

10.4230/LIPIcs.CSL.2018.0

PPN:

104370583X

Sprache:

Englisch

Ressourcentyp:

Text

Umfang:

734 Seiten

Erscheinungsort:

Saarbrücken/Wadern, Germany

Verlag:

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Schlagwörter:

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

DDC-Sachgruppe der DNB:

004 Informatik

Link URL:

http://d-nb.info/1166576892/34

Link URL:

http://www.dagstuhl.de/dagpub/978-3-95977-088-0

Einrichtung:

Technische Universität Ilmenau, Universitätsbibliothek