Search

You searched for: Auteur Ida, Tetsuo Remove constraint Auteur: Ida, Tetsuo
1 - 3 of 3
Number of results to display per page

Search Results

1. Automated Deduction in Geometry
thumbnail
Full text!
Author:
Ida, Tetsuo; Fleuriot, Jacques; Fleuriot, Jacques
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. Artificial Intelligence and Symbolic Computation
thumbnail
Full text!
Author:
Calmet, Jacques; Ida, Tetsuo; Kanade, Takeo; Wang, Dongming
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
3. The Concrete Tetrahedron
thumbnail
Full text!
Author:
Kauers, Manuel; Hong, Hoon; Paule, Peter; Ida, Tetsuo
Publisher:
Springer Vienna 2011
Format:
e-book