Studies in automatic programming logic / Zohar Manna, Richard Waldinger.
Tipo de material: TextoSeries The computer science library. Artificial intelligence seriesDetalles de publicación: New York : North-Holland, 1977Descripción: viii, 192 pISBN:- 0444002243
- 21 00.1642
Contenidos:
1. Reasoning about programs -- 2. Logical analysis of programs -- 3. Knowledge and reasoning in program synthesis.
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Libro | Biblioteca Manuel Belgrano | 001.1642 M 31798 (Navegar estantería(Abre debajo)) | Disponible | 31798 |
Bibliografía: p. 181-185
1. Reasoning about programs -- 2. Logical analysis of programs -- 3. Knowledge and reasoning in program synthesis.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.