A carregar...
Logic in computer science Modelling and reasoning about systems /
Autor principal: | |
---|---|
Outros Autores: | |
Idioma: | Undetermined |
Publicado em: |
Cambridge Univeristy Press ,
2004.
|
Edição: | 2nd ed. |
Assuntos: |
University of Kerala
Área/Cota: |
D651:(R1) P4 |
---|---|
Cód. Barras: | Informação em tempo real indisponível |