Automated reasoning and its applications : essays in honor of Larry Wos

Bibliographic Information

Automated reasoning and its applications : essays in honor of Larry Wos

edited by Robert Veroff with Gail W. Pieper

The MIT Press, 1997

Available at  / 16 libraries

Search this Book/Journal

Note

"Bibliography of Larry Wos": p. [235]-241

Includes bibliographical references and index

Details

  • NCID
    BA3222506X
  • ISBN
    • 0262220555
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cambridge, Mass.
  • Pages/Volumes
    viii, 247 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
Page Top