|
|
|
|
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)
|