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