Skip to main content
It looks like you're offline.
Donate
♥
English
العربية
Azərbaycanca
Čeština
Deutsch
English
Español
Français
हिंदी
Hrvatski
Italiano
한국어
Português
Română
Sardu
తెలుగు
Українська
中文
Filipino
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Search
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Improve the Catalog
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited by
ImportBot
May 28, 2020 |
History
Edit
Tetsuo Ida
5 works
Add another?
Most Editions
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
by
Tetsuo Ida
and
Jacques Fleuriot
First published in 2013
3 editions
Learn More
Functional and Logic Programming: Proceedings of the Second Fuji International Workshop
by
Tetsuo Ida
,
Atsushi Ohori
, and
Masato Takeichi
First published in 1997
2 editions
Learn More
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
by
Jaques Calmet
,
Tetsuo Ida
, and
Dongming Wang
First published in 2006
1 edition
Learn More
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
by
Stephen Watt
and
Tetsuo Ida
First published in 2024
1 edition
Learn More
Computational Origami
by
Tetsuo Ida
First published in 2020
1 edition
Learn More
Subjects
Algebra
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Automatic theorem proving
Computational complexity
Computer graphics
Computer science
Data processing
Discrete Mathematics in Computer Science
Geometry, data processing
Mathematical Logic and Formal Languages
Software engineering
Symbolic and Algebraic Manipulation
ID Numbers
OLID: OL7932648A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON