On Formalisms for Turing Machines.

Patrick C. Fischer

Published in: J. ACM (1965)

Keyphrases

turing machine
logic programming
knowledge representation
nonmonotonic reasoning
knowledge representation formalisms
neural network
computational properties
data sets
information retrieval
information systems
artificial neural networks
multiresolution
expressive power