Journal of Automated Reasoning

Código CCN: 085503-0


ISSN (Online): 0168-7433
Land: Não informado
Utgivare: D. Reidel Publishing
Imprenta: Dordrecht, Holanda: D. Reidel Publishing, 1985
Área de numeração: Vol. 1, No. 1 (Mar. 1985)-

Coleção


Instituição Unidade Biblioteca Coleção Dados
Universidade Federal do Paraná Setor de Tecnologia Biblioteca de Ciência e Tecnologia 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)
Universidade Federal do Rio de Janeiro Núcleo de Computação Eletrônica Biblioteca 1991-98 7-21
Instituto Nacional de Pesquisas Espaciais Câmpus Curitiba Divisão de Biblioteca 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)
Universidade Tecnológica Federal do Paraná Sede Biblioteca 1994-1998 12-21; 2000 24-25
Pontifícia Universidade Católica do Rio de Janeiro Instituto de Matemática e Estatística Biblioteca Central 1985 1(1-4) ; 1986 2(1) ; 1988 4(1-4)
Empresa Brasileira de Pesquisa Agropecuária Departamento de Informática Biblioteca 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)
Universidade Federal de Campina Grande - Biblioteca Central 1996 16-17
Universidade de São Paulo - Serviço de Informação e Biblioteca "Carlos Benjamin de Lyra" 1993-2001 10-26; 2001 27(1-3)
Pontifícia Universidade Católica do Rio de Janeiro - Biblioteca Setorial de Informática "Prof. Sérgio Carvalho" 1989 5(1-4) ; 1996 16(1) , 17(1-3) ; 1998 20(1) , 21(1-3)
Universidade Federal do Espírito Santo - Biblioteca Central 2002 28(1), 29(1-4)
Universidade Federal de São Carlos - Biblioteca Comunitária 1998 20-21