The automated solution of logic puzzles
โ
Mark Valentine; Robert H. Davis
๐
Article
๐
1987
๐
Elsevier Science
๐
English
โ 625 KB