Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, … - SLUB Dresden

Media type: Book; Conference Proceedings
Title: Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10 - 13, 2001 ; proceedings
Contributor: Fribourg, Laurent [Editor]
Corporation: European Association for Computer Science Logic
Event: CSL
Published: Berlin; Heidelberg [u.a.]: Springer, 2001
Published in: Lecture notes in computer science ; 2142
Extent: XII, 614 S.; graph. Darst; 24 cm
Language: English
ISBN: 3540425543
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Theoretische Informatik > Logik
Logische Programmierung > Madrid <1999>
Programmierlogik
Komplexitätstheorie
Theoretische Informatik > Logik
Programmierlogik
Logische Programmierung
Origination:
Footnote: Literaturangaben
Description: von ISB2 an Ref. Bec

Computer science logic