Universidad Nacional Autónoma de México
Facultad de Ingeniería. Anexo
Catálogo de la Biblioteca "Mtro. Enrique Rivero Borrell"

Logic programming :

Andrews, James H.,

Logic programming : Operational semantics and proof theory / James h. andrews - 104 páginas

0521432197


Programación (Computadoras)

QA76.7 / A535


Universidad Nacional Autónoma de México 

Biblioteca "Mtro. Enrique Rivero Borrell” de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad