First-Order logic and automated theorem proving / Melvin Fitting.
Tipo de material: TextoIdioma: eng. Series Graduate texts in computer scienceDetalles de publicación: New York, NY : Springer New York ; 1996.Edición: 2nd edDescripción: xvi, 326 p. ; 25 cmISBN:- 9781461223603
- 9781461275152
- 005.131 23
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Colección general | Biblioteca Yachay Tech | 005.131 F547f 1996 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 004304 |
Total de reservas: 0
Navegando Biblioteca Yachay Tech estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.117 S2915o 2011 Object-oriented and classical software engineering / | 005.117 S2915o 2011 Object-oriented and classical software engineering / | 005.117 S2915o 2011 Object-oriented and classical software engineering / | 005.131 F547f 1996 First-Order logic and automated theorem proving / | 005.131 R769p 2004 The parametric lambda calculus : | 005.133 B7397i 2012 An introduction to modern mathematical computing : | 005.133 B7397i 2012 An introduction to modern mathematical computing : |
Includes index.
Includes references bibliographic.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.