Keywords:
Computer programming
;
Computer programming
;
Computer programming
;
Electronic books
;
Electronic books
Description / 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. Schützenberger
Type of Medium:
Online Resource
Pages:
Online Ressource (vi, 161 pages)
Edition:
Online-Ausg.
ISBN:
0444533915
,
9780444533913
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 26
URL:
http://www.sciencedirect.com/science/book/9780444533913
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/26
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/26
DDC:
005
Language:
English
Note:
Print version record
,
Mechanical mathematics and inferential analysis
,
Observations concering computation, deduction and heuristics
,
Basis for mathematical theory of computation
,
Abstract computer with a lisp-like machine language without a label operator
,
AS implified proof method for elementary logic
,
Basic for the mechanization of the theory of equations
,
Programming and the theory of automata
,
Algebraic theory of context-free languages
