Cargando…
Computer programming and formal systems
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam,
North-Holland Pub. Co.,
1963.
|
| Colección: | Studies in logic and the foundations of mathematics.
|
| 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.