Format:
Online Ressource (vi, 161 pages)
Edition:
Online-Ausg.
ISBN:
0444533915
,
9780444533913
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 26
Content:
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
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
Additional Edition:
ISBN 0444533915
Language:
English
Keywords:
Electronic books
;
Electronic books
URL:
Volltext
(lizenzpflichtig)