Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book
Titel:
Computer programming and formal systems
Weitere Titel:
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
Enthält:
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.
Beschreibung:
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