Cargando...
Logic in computer science: modelling and reasoning about systems/
Autor Principal: | |
---|---|
Outros autores: | |
Formato: | Printed Book |
Publicado: |
New Delhi:
Cambridge University Press,
2005.
|
Subjects: |
MG University
Número de Clasificación: |
510 P52 |
---|---|
Copia | Live Status Unavailable |