Studies in automatic programming logic / Zohar Manna, Richard Waldinger.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 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 | |
---|---|---|---|---|---|---|
![]() |
Biblioteca Manuel Belgrano | 001.1642 M 31798 (Navegar estantería(Abre debajo)) | Disponible | 31798 |
Navegando Biblioteca Manuel Belgrano estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
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.