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

Registros relacionados

Registros relacionados