Skip navigation

Automated Reasoning and Its Applications

Essays in Honor of Larry Wos
By edited by Robert Veroff
$48.00
$48.00

View Complete Product Information

Specifications

Hardcover

  • Pages: 257p.
  • Dimensions: 7.2 x 9.1 inches
  • Publication Date: July 1, 1997
  • Distributor: The MIT Press
  • ISBN: 9780262220552
  • ISBN10: 0262220555