Logic programming: operational semantics and proof theory

Detalhes bibliográficos
Autor principal: Andrews, James H
Formato: Printed Book
Idioma:English
Publicado em: Camgridge Cambridge University press 1992
Assuntos:
Programming language and semantics
Descrição
Descrição Física:xi, 104p.
ISBN:9 780521 432191

Registos relacionados