Title: Logic and machines
Subjects: Machine theory, Computational complexity, Congresses, Decision making