《COMPUTER PROGRAMMING AND FORMAL SYSTEMS》

作者	P. BRAFFORT AND D. HIRSCHBERG 编者
出版	NORTH-HOLLAND PUBLISHING COMPANY
参考页数	161
出版时间	1963（求助前请核对）目录预览
ISBN号	无 — 求助条款
PDF编号	813318118（仅供预览，未存储实际文件）
求助格式	扫描PDF（若分多册发行，每次仅能受理1册）

系统维护中...

HAO WANG:Mechanical Mathematics and Inferential Analysis1

E.W.BETH:Observations Concerning Computing, Deduction, and Heuris-tics21

JOHN MCCARTHY:A Basis for a Mathematical Theory of Computation33

P.C.GILMoRE:An Abstract Computer with a Lisp-Like Machine Language without a Label Operator71

STIG KANGER:A Simplified Proof Method for Elementary Logic87

A.ROBINSON:A Basis for the Mechanization of the Theory of Equations95

ARTHUR W.BURKS:Programming and the Theory of Automata100

N.CHOMSKY and SCHUTZENEERGER:The Algebraic Theory of Context-Free Languages118

1963《COMPUTER PROGRAMMING AND FORMAL SYSTEMS》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由P. BRAFFORT AND D. HIRSCHBERG 1963 NORTH-HOLLAND PUBLISHING COMPANY 出版的版本）。对合法合规的求助，我会当即受理并将下载地址发送给你。

系统维护中...