Logic programming : Operational semantics and proof theory / James h. andrews
Tipo de material: TextoEditor: Cambridge : Cambridge University Press, 1992Descripción: 104 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0521432197Tema(s): Programación (Computadoras)Clasificación LoC:QA76.7 | A535Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA76.7 A535 (Navegar estantería(Abre debajo)) | 1 | Disponible | 179793 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.6T48/I87 Sin informacin | QA76.6T48/I87 Sin informacin | QA76.6T48/I87 Sin informacin | QA76.7 A535 Logic programming : | QA76.7 M36 Lenguajes de programación / | QA76.7 M57 1996 Foundations for programming languages / | QA76.7 M6763 Programación en lenguajes estructurados / |
No hay comentarios en este titulo.