A computational logic handbook
por Robert S. Boyer, J Strother Moore
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 MethodsTipo 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.