|
|
|
|
| LEADER |
00922nam a2200301 4500 |
| 001 |
DLU090078505 |
| 005 |
##20090608 |
| 040 |
# |
# |
|a DLU
|b eng
|
| 041 |
# |
# |
|a eng
|
| 044 |
# |
# |
|a UK
|
| 100 |
# |
# |
|a Vassilyev, Stanislav N.
|
| 245 |
# |
# |
|a Logical approach to control theory and applications /
|c Stanislav N. Vassilyev.
|
| 653 |
# |
# |
|a Automatic theorem proving
|
| 653 |
# |
# |
|a Control systems
|
| 653 |
# |
# |
|a Hypothesis generation
|
| 653 |
# |
# |
|a Logical equation
|
| 653 |
# |
# |
|a Logical modelling
|
| 653 |
# |
# |
|a Real-time control
|
| 773 |
# |
# |
|t Nonlinear Analysis, Theory, Methods & Applications
|g Vol. 30, part 4 (December 1997), p. 1927-1937
|
| 920 |
# |
# |
|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Trương Bảo Trâm Anh
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a BB
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
