Logic programming: operational semantics and proof theory

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

Ejemplares similares

Ejemplares similares