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
Descripción
Descripción Física:xi, 104p.
ISBN:9 780521 432191

Ejemplares similares