Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / [electronic resource] :
edited by Boris Konev, Frank Wolter.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- 1online resource (x, 282 p.) : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4720 0302-9743 ; .
9783540746218 (electronic bk.) 9783540746201 (paper)
Logic, Symbolic and mathematical--Congresses.
Computer science--Congresses.
511.3
9783540746218 (electronic bk.) 9783540746201 (paper)
Logic, Symbolic and mathematical--Congresses.
Computer science--Congresses.
511.3