Yazar
tetsuo ida
5 cilt bulundu.
Cilt sonuçları
Automated Deduction in Geometry
Tetsuo Ida, Jacques Fleuriot · Springer
204 sayfa · 2013
Geometry, data processing / Automatic theorem proving / Software engineering / Computer graphics / Artificial Intelligence (incl. Robotics)
Functional and Logic Programming
Tetsuo Ida, Atsushi Ohori, Masato Takeichi · World Scientific Publishing Co Pte Ltd
Sayfa sayısı yok · 1997
Kategori yok
Artificial Intelligence and Symbolic Computation
Jaques Calmet, Tetsuo Ida, Dongming Wang · Springer London, Limited
Sayfa sayısı yok · 2006
Kategori yok