Normal view
MARC view
Wos L (Personal Name)
Machine generated authority record
Work cat.: (OSt)1546837: Wos L, 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