Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

PSZJBL

Bibliographic Details
Main Authors:	FroCoS 2007 (2007 : Liverpool, England), Konev, Boris, Wolter, Frank., SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Logic, Symbolic and mathematical Computer science
Online Access:	http://dx.doi.org/10.1007/978-3-540-74621-8

Internet