Logic programming: operational semantics and proof theory

Detalles Bibliográficos
Autor Principal: Andrews, James H
Formato: Printed Book
Idioma:English
Publicado: Camgridge Cambridge University press 1992
Subjects:
Programming language and semantics

Títulos similares

Títulos similares