Normal view
MARC view
Mathematics (Topical Term)
Machine generated authority record
Work cat.: (OSt)1546837: Wos L 964697, Collected Works of Larry Wos, the In 2 Vols, Vol I: Exploring the Power of Automated Reasoning; Vol Ii: Applying Automated Reasoning to Puzzles, Problems, and Open Questions