Vista normal Vista MARC Vista ISBD

A computational logic handbook

por Robert S. Boyer, J Strother Moore
Autores adicionais: Boyer , Robert S. | Moore , J. Strother
Periódico: Academic Press International Series in Formal Methods Declaração da edição:2nd ed Publicado por : Academic Press , 1998 Detalhes físicos: XXV, 518 p. 24 cm ISBN:0-12-122955-6. Colecção: Academic Press International Series in Formal Methods
Tipo de documento Localização Cota Estado Data de devolução
Monografia Biblioteca da ESTiG-IPB
Sala de Leitura
511.3-1/BOY/COM (Ver prateleira) Disponível

Não há comentários disponíveis sobre este título.

Entre na sua conta para publicar um comentário.

Powered by Koha