Cargando…

Computer programming and formal systems /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Braffort, P. (Paul), Hirschberg, D. (David)
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.