Temporal logic [recurso electrónico] : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F. V. Hasle.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
No hay ítems correspondientes a este registro
Acceso sólo para usuarios de REDUNAM
Reproducción electrónica. New York : Springer, 2001
Deupress ; 3072 ; BC ; Permanente ; 1,225.30 ; 2004/07/04
No hay comentarios en este titulo.