Formato normal Formato MARC Formato ISBD
Handbook of automated reasoning / editors Alan Robinson and Andrei Voronkov
Autor secundário: Robinson , Alan;Voronkov , AndreiLíngua: Inglês.País: Holanda.ISBN: 0-444-50812-0 ; 0-444-82949-0.Publicação: Amsterdam : Elsevier, cop. 2001Descrição: 2 vol.Assunto : Automatização // Inteligência artificial // Ciência de computadores -- Aplicações da matemática // Raciocínio qualitativoCDU: 004.83
Tipo de documento Localização Cota Informação volume Estado Data de devolução Código de barras Reservas
Livro Biblioteca da UA
Depósito da Biblioteca (Acesso restrito)
0D.1310V.1 (Ver prateleira) 1 Disponível 177454
Livro Biblioteca da UA
Depósito da Biblioteca (Acesso restrito)
0D.1310V.2 (Ver prateleira) 2 Disponível 177455
Total de reservas 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>