Automated reasoning with OTTER / John Arnorld Kalman ; Larry Wos
Autor Kalman, John Arnold Autor secundário Wos, Larry ISBN 1589490045 Publicação New Jersey : Rinton Press, cop. 2001 Descrição 536 p. + 1 CD Nome comum Lógica matemáticaTeoremas
L (Linguagens de programação)
Programação de computador
Linguagens de programação
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Monografia | UAb-Lisboa | L.S. 47761 INF | Disponível | LS47761 | |
| Monografia | UAb-Porto | P.S. 47761 FQMI | Disponível | PS47761 | |
| Monografia | UAb-Coimbra | C.S. 47761 T | Disponível | CS47761 |
Não há comentários disponíveis sobre este título.