Automated Reasoning With OTTER
Home / Attic Books
✦ Verified product

Automated Reasoning With OTTER

CAD 100.00
Title
Add to cart ≡
Brand KALMAN, John Arnold
Automated logicHyperresolutionOTTERRinton PressTechnology
Attic Books
Attic Books Verified independent store
→

Foreword by Larry Wos. Bibliography and index.

Related products

More you might like

View of the Island of Fogo or Fire; Puerto Grande or Harbour of St. Vincent, from Nieuhoff Related

View of the Island of Fogo or Fire; Puerto Grande or Harbour

CAD 50.00
The New British Theatre. Volume V. Containing I. Barbarossa. II. Lady Jane Gray. III. Marianne. IV. Zara Related

The New British Theatre. Volume V. Containing I. Barbarossa.

CAD 20.00
Guessing at Madeline Related

Guessing at Madeline

CAD 20.00
The War Letters of Donald New: An account of World War I from an English family settling in British Columbia Related

The War Letters of Donald New: An account of World War I fro

CAD 10.00
Select options