Computer programming and formal systems /
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam :
North-Holland,
1959.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 26. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- 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�utzenberger.