Universidad Nacional Autónoma de México
Catálogo de la Unidad de Documentación  del Centro de Ciencias Matemáticas, Morelia

Imagen de cubierta de Amazon
Imagen de Amazon.com

Temporal logic [recurso electrónico] : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F. V. Hasle.

Por: Øhrstrøm, PeterColaborador(es): Hasle, Per F. V [coautor] | Springer-VerlagTipo de material: TextoTextoSeries Studies in linguistics and philosophy ; v. 57Detalles de publicación: Dordrecht : Kluwer Academic, c1995. Descripción: viii, 413 p. : ilISBN: 0585374635 (libro electrónico)Tema(s): Lógica simbólica y matemática | Tiempo | Tiempo (Logica)Género/Forma: Libros electrónicos.Formatos físicos adicionales: Sin títuloClasificación CDD: 160 Clasificación LoC:BC199.T4 | O37 1995leRecursos en línea: Texto completo
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
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.

para colocar un comentario.

Universidad Nacional Autónoma de México 

Unidad de Documentación del Centro de Ciencias Matemáticas, Morelia

©2022 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad