《COMPUTER PROGRAMMING AND FORMAL SYSTEMS》求取 ⇩

作者	P. BRAFFORT AND D. HIRSCHBERG 编者
出版	NORTH-HOLLAND PUBLISHING COMPANY
参考页数	161 ✅ 真实服务非骗流量 ❤️
出版时间	1963（求助前请核对）目录预览
ISBN号	无 — 违规投诉 / 求助条款
PDF编号	813318118（学习资料勿作它用）
求助格式	扫描PDF（若分多册发行，每次仅能受理1册）

COMPUTER PROGRAMMING AND FORMAL SYSTEMS 1963 PDF电子版封面 P. BRAFFORT AND D. HIRSCHBERG

PDF文件，前往提取

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 出版的版本）。对合法合规的求助，我会当即受理并将下载地址发送给你。

PDF文件，前往提取