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

相似書籍