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

by

  • Publisher: World Scientific
  • Print ISBN: 9789810240011, 9810240015

  • eText ISBN: 9789812813411, 9812813411