We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Home
Authors
Tetsuo Ida

Author

Tetsuo Ida

3 books in our library

All books by Tetsuo Ida

3 books

Automated Deduction in Geometry

by Jacques Fleuriot

Cover of Automated Deduction in Geometry

Buy this book More books like Automated Deduction in Geometry

Functional and Logic Programming

by Atsushi Ohori

Cover of Functional and Logic Programming

Buy this book More books like Functional and Logic Programming

Symbolic Computation in Software Science

by Stephen Watt

Cover of Symbolic Computation in Software Science

Buy this book More books like Symbolic Computation in Software Science

Looking for another book by Tetsuo Ida? Search by title

We have 2 828 031 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.