|
|
|
|
| LEADER |
03169 a2200721 |
| 008 |
880704c1985 z |
| 022 |
|
|
|a 0168-7433
|
| 035 |
|
|
|a 085503-0
|
| 041 |
# |
0 |
|a ENG
|
| 044 |
|
|
|a Não informado
|
| 210 |
1 |
|
|a J. Autom. Reason.
|
| 245 |
1 |
|
|a Journal of Automated Reasoning
|
| 245 |
0 |
0 |
| 0
|
| 260 |
|
|
|b D. Reidel Publishing
|
| 260 |
|
|
|a Dordrecht, Holanda
|
| 260 |
|
|
|c 1985
|
| 362 |
1 |
|
|a Vol. 1, No. 1 (Mar. 1985)-
|
| 500 |
|
|
|a Publica 8 fascículos por ano
|
| 500 |
|
|
|a Frequência trimestral de 1985 a 1991 Frequência bimestral de 1992 a 1999
|
| 525 |
|
|
|
| 525 |
|
|
|
| 580 |
|
|
|
| 580 |
|
|
|
| 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 Universidade Federal do Paraná
|b Setor de Tecnologia
|c Biblioteca de Ciência e Tecnologia
|
| 852 |
|
|
|a Universidade Federal do Rio de Janeiro
|b Núcleo de Computação Eletrônica
|c Biblioteca
|
| 852 |
|
|
|a Instituto Nacional de Pesquisas Espaciais
|c Divisão de Biblioteca
|
| 852 |
|
|
|a Universidade Tecnológica Federal do Paraná
|b Câmpus Curitiba
|c Biblioteca
|
| 852 |
|
|
|a Pontifícia Universidade Católica do Rio de Janeiro
|c Biblioteca Central
|
| 852 |
|
|
|a Empresa Brasileira de Pesquisa Agropecuária
|b Sede
|c Biblioteca
|
| 852 |
|
|
|a Universidade Federal de Campina Grande
|c Biblioteca Central
|
| 852 |
|
|
|a Universidade de São Paulo
|b Instituto de Matemática e Estatística
|c Serviço de Informação e Biblioteca "Carlos Benjamin de Lyra"
|
| 852 |
|
|
|a Pontifícia Universidade Católica do Rio de Janeiro
|b Departamento de Informática
|c Biblioteca Setorial de Informática "Prof. Sérgio Carvalho"
|
| 852 |
|
|
|a Universidade Federal do Espírito Santo
|c Biblioteca Central
|
| 852 |
|
|
|a Universidade Federal de São Carlos
|c Biblioteca Comunitária
|
| 866 |
|
|
|a 1994 12(1-3), 13(1-3); 1995 14(1-3), 15(1-3); 1996 16(1-3), 17(1-3); 1998 20(1-3), 21(1-3)
|
| 866 |
|
|
|a 1991-98 7-21
|
| 866 |
|
|
|a 1985 1(1-4); 1986 2(1-4); 1987 3(1-4); 1988 4(1-4); 1989 5(1-4); 1990 6(1- 4); 1991 7(1-4); 1992 8(1-3), 9(1-3); 1994 12(1-3), 13(1-3); 1995 14(1- 3), 15(1- 3); 1997 18(1-3), 19(1-3)
|
| 866 |
|
|
|a 1994-1998 12-21; 2000 24-25
|
| 866 |
|
|
|a 1985 1(1-4) ; 1986 2(1) ; 1988 4(1-4)
|
| 866 |
|
|
|a 1993 10(1-3), 11(1-3); 1994 12(1-3), 13(1-3); 1995 14(1-3), 15(1-3); 1996 16(1/2,3), 17(1-3); 1997 18(1-3), 19(1-3); 1998 20(1/2,3), 21(1-3)
|
| 866 |
|
|
|a 1996 16-17
|
| 866 |
|
|
|a 1993-2001 10-26; 2001 27(1-3)
|
| 866 |
|
|
|a 1989 5(1-4) ; 1996 16(1) , 17(1-3) ; 1998 20(1) , 21(1-3)
|
| 866 |
|
|
|a 2002 28(1), 29(1-4)
|
| 866 |
|
|
|a 1998 20-21
|
