Ida, Tetsuo. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Did you mean: tatsuo or tetsudo or tetsuro or tetsudō or tetsurō

Start Over

You searched for: author Ida, Tetsuo.

Showing 1 - 4 of 4 results

Search Results

Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

by Ida, Tetsuo
2013
Format: Electronic

Location
Access Content Online

Cover image for Artificial intelligence and symbolic computation

Artificial intelligence and symbolic computation

by AISC 2006
2006
Format: Electronic

Location
Access Content Online

Cover image for Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

by Watt, Stephen M.
2024
1st ed. 2024
Format: Electronic

Location
Access Content Online

Cover image for Functional and logic programming

Functional and logic programming

by Fuji International Symposium on Functional and Logic Programming
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.62 .F85 1999	✔ Available