Imagen de Amazon.com
Analysis and synthesis of logics [recurso electrónico] : how to cut and paste reasoning systems / Walter Carnielli ... [et al.]
Tipo de material:
Archivo de ordenadorSeries Applied logic series ; v. 35Detalles de publicación: Dordrecht : Springer, 2008 Descripción: xvi, 600 p. : ilISBN: 9781402067822 (libro electrónico)Tema(s): Lógica simbólica y matemáticaGénero/Forma: Libros electrónicos.Clasificación LoC:QA9 | A5115 2008leRecursos en línea: Texto completo
No hay ítems correspondientes a este registro
Acceso sólo para usuarios de REDUNAM
Reproducción electrónica. New York : Springer, [2009]
Springer ; 5524411 ; DGB ; Permanente ; 2009/08/11
No hay comentarios en este titulo.