Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso TABLEAUX'97 (6th. 1997. Pont-à-Mousson)

Título Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (Ed.)

Publicación Berlin [etc.] : Springer, cop. 1997
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNAI 1227    PRÉSTAMO LARGO  DISPONIBLE
Descripción física XI, 372 p. ; 24 cm
Colección Lecture notes in artificial intelligence ; 1227
Materia Inteligencia artificial -- Congresos
       Mostrar referencias similares
Autor secundario Galmiche, Didier, ed. lit.
ISBN 3540629203