A fascinating country in the world of computing : your guide to automated reasoning

Author(s)

Bibliographic Information

A fascinating country in the world of computing : your guide to automated reasoning

Larry Wos, Gail W. Pieper

World Scientific, c1999

Available at  / 4 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Details

  • NCID
    BA46969644
  • ISBN
    • 9810239106
  • Country Code
    si
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Singapore
  • Pages/Volumes
    xx, 587 p.
  • Size
    23 cm
  • Attached Material
    1 computer laser optical disc (4 3/4 in.)
Page Top