Normal view MARC view ISBD view
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
Item type Current location Call number Vol info Status Date due Barcode Item holds
Livro Biblioteca da UA
Depósito da Biblioteca (Acesso restrito)
0D.1310V.1 (Browse shelf) 1 Available 177454
Livro Biblioteca da UA
Depósito da Biblioteca (Acesso restrito)
0D.1310V.2 (Browse shelf) 2 Available 177455
Total holds: 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>