Cargando...
Logic in computer science: modelling and reasoning about systems/
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | Printed Book |
Publicado: |
New Delhi:
Cambridge University Press,
2005.
|
Materias: |
MG University
Número de Clasificación: |
510 P52 |
---|---|
Copia | Estatus de actividad no disponible |