Computer science logic: 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings

Medientyp: Buch; Konferenzbericht
Titel: Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings
Beteiligte: Grädel, Erich [Hrsg.]; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft]
Körperschaft: European Association for Computer Science Logic
Veranstaltung: CSL
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2009
Erschienen in: Lecture notes in computer science ; 5771
Umfang: XI, 565 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642040268; 9783642040269
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12746989
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 : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings