Language: English

回圖書館首頁

手機版館藏查詢

Login

Jump To : Overview Titles Subjects

Recursive functions.

Overview

Works:	17 works in 1 publications in 1 languages

Titles

Recursive methods in economic dynamics / by: (Language materials, printed)

Theory of formal systems / by: (Language materials, printed)

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

Stochastic approximation and recursive algorithms and applications / by: (Language materials, printed)

The calculi of lambda-conversion / by: (Language materials, printed)

Degrees of unsolvability / by: (Language materials, printed)

Recursive algorithms by: (Electronic resources)

Stochastic approximation and recursive algorithms and applications by: (Electronic resources)

Stochastic processes = estimation, optimization, & analysis / by: (Electronic resources)

Computability and logic by: (Electronic resources)

Show more

Subjects

Recursive functions.

Macroeconomics.

Theory of Computation.

Dynamic programming.

Metamathematics.

Logic, Symbolic and mathematical.

Unsolvability (Mathematical logic).

Estimation theory.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Operations Research, Management Science.

Computable functions.

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

Numerical and Computational Methods in Engineering.

Economics, Mathematical.

Statics and dynamics (Social sciences)

Dynamics, Rigid.

Expert systems (Computer science)

Artificial Intelligence.

Formal Languages and Automata Theory.

Stochastic approximation.

Stochastic processes.

Computer Science.

Simulation and Modeling.

Theoretical and Applied Mechanics.

Knowledge Based Systems.

Building Information Modeling.

Mathematical optimization.

Automation and Robotics.

Statics and dynamics (Social sciences).

Change password

Login