Shopping cart
0 items
€ 0
IOSPress
STM Publishing House | Impacting the World of Science
Books & Journals, Online & Print
Home
News
Books & Journals
Service
About IOS Press
Contact
Catalogue
Books
Journals
All
Recommend this title to your librarian
Recommend this title to your librarian
Tacti-Based Inductive Theorem Prover for data Types with Partial Operations
Your name
First
Last
Department
Your email address
Your librarian's email address
Personalize your message