A carregar...
Logic in computer science: modelling and reasoning about systems/
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Printed Book |
| Publicado em: |
New Delhi:
Cambridge University Press,
2005.
|
| Assuntos: |
MG University
| Área/Cota: |
510 P52 |
|---|---|
| Cód. Barras: | Informação em tempo real indisponível |