Logic and computational complexity International workshop LCC'94, Indianapolis, in, USA, october 13-16, 1994, selected papers
Workshop on Logic and Computational Complexity (1994 Indianapolis, Us) Daniel Maurice Raphael Leivant
Berlin Springer 1995
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.960 e.1 ) e outros locais(Acessar)