Braffort, Paul
[Sonstige Person, Familie und Körperschaft];
Hirschberg, David
[Sonstige Person, Familie und Körperschaft]
;
ScienceDirect (Online service)
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
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.
Anmerkungen:
Imprint covered by label: New York, Humanities Press
Includes bibliographical references
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