MPG.eBooks - Table of Contents: Computer programming and formal systems

Read Now

Bibliographic Details
Main Author:	Braffort, P.
Other Authors:	Hirschberg, D. (Editor)
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1963, 1963
Series:	Studies in logic and the foundations of mathematics
Subjects:	Computer Programming / Fast / (ocolc)fst00872390 Computer Programming / Aat Computer Programming / Http://id.loc.gov/authorities/subjects/sh85107310 Programmation (informatique) Programmation (ordinateurs)
Online Access:	https://www.sciencedirect.com/science/bookseries/0...
Collection:	Elsevier eBook collection Mathematics - Collection details see MPG.ReNa

Table of Contents:

Mechanical mathematics and inferential analysis / Hao Wang
Observations concering computation, deduction and heuristics / E.W. Beth
Basis for mathematical theory of computation / John McCarthy
Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore
AS implified proof method for elementary logic / Stig Kanger
Basic for the mechanization of the theory of equations / A. Robinson
Programming and the theory of automata / Arthur W. Burks
Algebraic theory of context-free languages / N. Chomsky, M.P. Schützenberger
Includes bibliographical references