Kaminski, Michael.
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / [electronic resource] :
edited by Michael Kaminski, Simone Martini.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5213 0302-9743 ; .
9783540875314
Lógica computacional --Congresos
Lógica simbólica y matemática--Congresos
Procesamiento electronico de datos--Congresos
QA76.9.L63 / K36 2008