The Bombe a Remarkable Logic Machine.

Donald W. Davies

Published in: Cryptologia (1999)

Keyphrases

logic programming
multi valued
parallel machines
modal logic
flowshop
sound and complete axiomatization
nonmonotonic logics
automated reasoning
data sets
scheduling problem
learning machines
artificial neural networks
expert systems
artificial intelligence
batch processing
asynchronous circuits
data mining