Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso International Joint Conference on Artificial Intelligence (1993. Chambéry, France)

Título Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds

Publicación Berlin ; New York : Springer, cop. 1995.
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNAI 897    PRÉSTAMO LARGO  DISPONIBLE
Descripción física 180 p. : il
Colección Lecture notes in artificial intelligence ; 897
Materia Lógica
       Mostrar referencias similares
Prolog (Lenguaje de programación)
       Mostrar referencias similares
Autor secundario Fisher, Michael, 1962-, ed. lit.
Owens, Richard, 1965-, ed. lit.
ISBN 3540589767
3540589767 (Berlin : acid-free paper)
0387589767 (New York : acid-free paper)