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

Category

Conference:

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

Issuing body:

GND

2156125-4

European Association for Computer Science Logic;

GND

10348416-4

Schloss Dagstuhl, Leibniz-Zentrum für Informatik

In Series:

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

Date Created:

10.03.2020

Date Issued:

09.2012

PPN:

737563443

DOI:

10.4230/LIPIcs.CSL.2012.i

URN:

urn:nbn:de:0030-drops-36966

ISBN:

978-3-939897-42-2

Language:

English

Type of Resource:

Text

Extent:

XIV, 542 Seiten

Keywords:

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

DDC subject of DNB:

004 Data processing Computer sciences

Hosting institution:

Technische Universität Ilmenau, Universitätsbibliothek