Computer Science Logic
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
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