✦ Verified product
Automated Reasoning With OTTER
CAD 100.00
Title
Attic Books
Verified independent store
→
Foreword by Larry Wos. Bibliography and index.
Related products
