Recursive functions.

Rigid Body Dynamics Algorithms by: (Electronic resources)

Super-Recursive Algorithms by: (Electronic resources)

Computability and logic / by: (Language materials, printed)

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.