Carta PAYBACK di Mondadori
Su Mondadori Store, con la tua carta PAYBACK ti premi ad ogni acquisto.
Robert I. Soare
pubblicato da
Springer Verlag Berlin and Heidelberg GmbH & Co. KG
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic.
Scrivi una recensione per "Turing Computability"
Torna in cima
dai un voto
