Duparc, Jacques.
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / [electronic resource] :
edited by Jacques Duparc, Thomas A. Henzinger.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4646 0302-9743 ; .
- Lecture Notes in Computer Science, 4646 0302-9743 ; .
9783540749158
Lógica computacional --Congresos
Logic design--Congresos
Lógica simbólica y matemática--Congresos
Procesamiento electronico de datos --Congresos
QA76.9.L63 / D85 2007