|
|
|
|
| LEADER |
00651 a2200181 4500 |
| 005 |
20151026133256.0 |
| 008 |
141004b xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9783642149580
|
| 080 |
|
|
|a 004.657
|b TAN R
|
| 100 |
|
|
|a Tang, Yong
|
| 245 |
|
|
|a Temporal information processing technology and its applications
|c Yong Tang, Xiaoping Ye and Na Tang
|
| 260 |
|
|
|c 2010
|b Springer
|a Heidelberg
|
| 300 |
|
|
|a xviii, 349p.
|
| 653 |
|
|
|a Temporal information
|
| 653 |
|
|
|a Temporal logic method
|
| 942 |
|
|
|c REF
|6 _
|
| 999 |
|
|
|c 66980
|d 66980
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 004657_TANR
|7 0
|9 79249
|a UL
|b UL
|d 2014-02-20
|g 0.00
|o 004.657 TAN R
|p 00071753
|r 2014-03-14
|v 0.00
|w 2014-02-20
|y REF
|