Computer science logic : 23rd international workshop proceedings, CSL, 18th annual conference of the EACSL, Coimbra, Portugal, Sep. 7-11, 2009
Computer science logic : 23rd international workshop proceedings, CSL, 18th annual conference of the EACSL, Coimbra, Portugal, Sep. 7-11, 2009
-
- Berlin Springer 2009
- xi,565 p. 23.5 cm
- Lecture notes in computer science ; v. 5771 .
978-3-642-04026-9
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses
681.3:517.1Com:09
978-3-642-04026-9
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses
681.3:517.1Com:09