Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Autor Fitting, Melvin

Título First-order logic and automated theorem proving / Melvin Fitting

Publicación New York [etc.] : Springer, cop. 1996
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Matemática Aplicada  MA(P)-TM 570    CONSULTAR DEPT  DISPONIBLE
Edición 2nd ed.
Descripción física xvi, 326 p. ; 25 cm
Colección Graduate texts in computer science
Materia Prueba automática de teoremas
       Mostrar referencias similares
Lógica simbólica y matemática
       Mostrar referencias similares
ISBN 0387945938