Applying automated reasoning to puzzles, problems, and open questions

Author(s)

Bibliographic Information

Applying automated reasoning to puzzles, problems, and open questions

Larry Wos, Gail W. Pieper

（The collected works of Larry Wos / Larry Wos, Gail W. Pieper, vol. 2）

World Scientific, c2000

Available at  / 3 libraries

Search this Book/Journal

Related Books： 1-1 of 1

Details

  • NCID
    BA46013194
  • ISBN
    • 9810249985
  • Country Code
    si
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Singapore
  • Pages/Volumes
    xvii, p. [829]830 - 1639
  • Size
    23 cm.
  • Parent Bibliography ID
Page Top