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 | 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.