- 作 者：P. BRAFFORT AND D. HIRSCHBERG
- 出 版 社：NORTH-HOLLAND PUBLISHING COMPANY
- 出版年份：1963
- ISBN：
- 标注页数：161 页
- PDF页数：165 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源165 ≥161页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
HAO WANG:Mechanical Mathematics and Inferential Analysis 1
E.W.BETH:Observations Concerning Computing, Deduction, and Heuris-tics 21
JOHN MCCARTHY:A Basis for a Mathematical Theory of Computation 33
P.C.GILMoRE:An Abstract Computer with a Lisp-Like Machine Language without a Label Operator 71
STIG KANGER:A Simplified Proof Method for Elementary Logic 87
A.ROBINSON:A Basis for the Mechanization of the Theory of Equations 95
ARTHUR W.BURKS:Programming and the Theory of Automata 100
N.CHOMSKY and SCHUTZENEERGER:The Algebraic Theory of Context-Free Languages 118