Recursive functions.

Rigid Body Dynamics Algorithms by: (書目-電子資源)

Super-Recursive Algorithms by: (書目-電子資源)

Computability and logic / by: (書目-語言資料,印刷品)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Numerical and Computational Methods in Engineering.

Logic, Symbolic and mathematical.

Simulation and Modeling.

Automation and Robotics.

Algorithms.

Computable functions.

Theoretical and Applied Mechanics.

Recursive functions.

Theory of Computation.

Computer-Aided Engineering (CAD, CAE) and Design.

Computer Science.

Dynamics, Rigid.