Computer science logic: 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings

Medientyp: Buch; Konferenzbericht
Titel: Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings
Beteiligte: Dawar, Anuj [Hrsg.]; Veith, Helmut [Sonstige Person, Familie und Körperschaft]
Veranstaltung: CSL
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2010
Erschienen in: Lecture notes in computer science ; 6247
Umfang: XIV, 548 S.; graph. Darst
Sprache: Englisch
ISBN: 364215204X; 9783642152047
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80021043
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Theoretische Informatik > Logik
Computational logic
Logische Programmierung
Programmierlogik
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings