Exploring the power of automated reasoning

Author(s)

Bibliographic Information

Exploring the power of automated reasoning

Larry Wos, Gail W. Pieper

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

World Scientific, c2000

Available at  / 4 libraries

Search this Book/Journal

Related Books： 1-1 of 1

Details

  • NCID
    BA46012861
  • ISBN
    • 9810249969
  • Country Code
    si
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Singapore
  • Pages/Volumes
    xvii, 827 p.
  • Size
    23 cm.
  • Attached Material
    1 CD-ROM
  • Parent Bibliography ID
Page Top