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

Category

Conference:

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

Issuing body:

GND

1168183855

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

Organizer of meeting:

GND

2156125-4

European Association for Computer Science Logic

In Series:

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

Date Created:

03.04.2020

Date Issued:

08.2018

ISBN:

9783959770880

URN:

urn:nbn:de:0030-drops-97444

DOI:

10.4230/LIPIcs.CSL.2018.0

PPN:

104370583X

Language:

English

Type of Resource:

Text

Extent:

734 Seiten

Place Term:

Saarbrücken/Wadern, Germany

Publisher:

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

Keywords:

1. Theoretische Informatik

   Typ

   Schlagwort

2. Logik

   Typ

   Schlagwort

3. Computational logic

   Typ

   Schlagwort

4. Logische Programmierung

   Typ

   Schlagwort

DDC subject of DNB:

004 Data processing Computer sciences

URL:

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

URL:

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

Hosting institution:

Technische Universität Ilmenau, Universitätsbibliothek