Automated Reasoning With OTTER

Regular price $100.00 CAD Sale

Publication Info

• Publisher: Rinton Press
• Edition: n/a
• Date Published: 2001
• Place Published: Princeton
• ISBN: 1589490045

Details

• Condition: ex library-good
• Signed: No
• Dust Jacket: No
• Jacket Condition: n/a
• Details:
  xv, 536 p. 27 cm. Ex library with labels on spine and front, ink stamps on top edge and title. Dents in spine. Front states CD ROM included but this has been inked out; CD ROM not included.