ACM Transactions on Computational Logic

Código CCN: 097885-X


ISSN (Online): 1529-3785
País: Não informado
Editor: Association for Computing Machinery
Imprenta: New York: Association for Computing Machinery, 2004
Numbering area: Vol. 1, No. 1 (July 2000)-

LEADER 02022 a2200505
008 040330c2000 q
022 |a 1529-3785 
035 |a 097885-X 
041 # 0 |a ENG 
044 |a Não informado 
210 1 |a ACM Trans. Comput. Log. 
245 1 |a ACM Transactions on Computational Logic 
245 0 0 |  0 
260 |b Association for Computing Machinery 
260 |a New York 
260 |c 2004 
362 1 |a Vol. 1, No. 1 (July 2000)- 
599 |a Técnico-científico 
699 |a CIENCIAS EXATAS E DA TERRA 
710 0 1 |a Não informado 
|  Sem complementação de título 
853 |a Volume/Ano/Tomo  |b Número  |i Ano de Publicação  |j Mês/Temporada  |z Formato físico da coleção 
852 |a Pontifícia Universidade Católica de Minas Gerais  |b Câmpus de Belo Horizonte  |c Biblioteca Padre Alberto Antoniazzi 
852 |a Universidade do Vale do Rio dos Sinos  |c Biblioteca Central 
852 |a Universidade Tecnológica Federal do Paraná  |b Câmpus Curitiba  |c Biblioteca 
852 |a Instituto Nacional de Pesquisas Espaciais  |c Divisão de Biblioteca 
852 |a Pontifícia Universidade Católica de Campinas  |b Centro de Ciências da Vida  |c Biblioteca Campus II 
852 |a Universidade de Caxias do Sul  |c Biblioteca Central 
852 |a Universidade de Brasília  |c Biblioteca Central 
866 |a 2003 4(2-4); 2004 5(1,3-4); 2005 6(1); 
866 |a 2002 3(1-4); 2003 4(1-4) 
866 |a 2001 2(1-4); 2003 4(2-4) 
866 |a 2001 2(4); 2002 3(1) 
866 |a 2003 4(1); 2005 6(3-4); 2006 7(1-2); 2007 8(2-4); 2008 9(1-4); 2009 10(1) 
866 |a 2000 1(1-2) ; 2001 2(1-3) ; 2002 3(1-4) ; 2003 4(1-3) ; 2004 5(1-3) ; 2005 6(1-3) ; 2006 7(1-4) ; 2007 8(1-4) ; 2008 9(3) 
866 |a 2006 7(1,3-4)