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
Includes index.
Includes references bibliographic.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.