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