Title: Collected Works of Larry Wos
First published: 2000
Subjects: Artificial intelligence, Automatic theorem proving, Reasoning, Puzzles
LC classification: QA76.9.A96 W667 2000