Tetsuo Ida

Tetsuo Ida

3 ספרים במאגר

ספרים

Automated Deduction in GeometryTetsuo Ida

Automated Deduction in Geometry

Tetsuo Ida · 2013

Computational OrigamiTetsuo Ida

Computational Origami

Tetsuo Ida · 2020

Functional and Logic ProgrammingTetsuo Ida

Functional and Logic Programming

Tetsuo Ida · 1997

ספרים משותפים ואוספים

ספרים שבהם Tetsuo Ida מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Symbolic Computation in Software ScienceStephen Watt

Symbolic Computation in Software Science

Stephen Watt · 2024

Artificial Intelligence and Symbolic ComputationJaques Calmet

Artificial Intelligence and Symbolic Computation

Jaques Calmet · 2006