Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings
FroCoS 2007 (2007 Liverpool, England) Boris Konev; Frank Wolter
Berlin Springer New York c2007
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4720 ) e outros locais(Acessar)