Logic programming: operational semantics and proof theory

书目详细资料
主要作者: Andrews, James H
格式: Printed Book
语言:English
出版: Camgridge Cambridge University press 1992
主题:
Programming language and semantics
实物特征
实物描述:xi, 104p.
ISBN:9 780521 432191

相似书籍