From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 1987年8月12日
如封面与标题不符，以标题为准

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

价格
元 379
不含税

远程仓调货

预计送达时间 年6月22日 - 年7月2日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1987年8月12日
ISBN13 9783540182177
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 125
商品尺寸 155 × 233 × 7 mm   ·   199 g
语言 英语  

Mere med samme udgiver

查看D. Snyers的全部作品 ( 例如 Paperback Book )