Gandalf (theorem Prover) by Jesse RusselGandalf (theorem Prover) by Jesse Russel

Gandalf (theorem Prover)

EditorJesse Russel, Ronald Cohn

Paperback | January 13, 2013

Pricing and Purchase Info


Earn 140 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:Gandalf (theorem Prover)Format:PaperbackDimensions:138 pages, 8.27 × 5.83 × 0.3 inPublished:January 13, 2013Publisher:Book on DemandLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:5511793868

ISBN - 13:9785511793863

Look for similar items by category: