BIBLIOTECA MANUEL BELGRANO - Facultad de Ciencias Económicas - UNC

Imagen de Google Jackets

Studies in automatic programming logic / Zohar Manna, Richard Waldinger.

Por: Colaborador(es): Tipo de material: TextoTextoSeries The computer science library. Artificial intelligence seriesDetalles de publicación: New York : North-Holland, 1977Descripción: viii, 192 pISBN:
  • 0444002243
Tema(s): Clasificación CDD:
  • 21 00.1642
Contenidos:
1. Reasoning about programs -- 2. Logical analysis of programs -- 3. Knowledge and reasoning in program synthesis.
Existencias
Tipo de ítem Biblioteca actual Signatura Estado Fecha de vencimiento Código de barras
Libro 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.

para colocar un comentario.

Bv. Enrique Barros s/n - Ciudad Universitaria. X5000HRV-Córdoba, Argentina - Tel. 00-54-351-4437300, Interno 48505
Horario de Atención: Lunes a Viernes de 8 a 18

Contacto sobre Información bibliográfica: proinfo.bmb@eco.uncor.edu