Model Checking and Artificial Intelligence
Saved in:
| Format: | Book |
|---|---|
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/29604 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| id |
oai:112.137.131.14:VNU_123-29604 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-296042020-07-10T02:02:27Z Model Checking and Artificial Intelligence Artificial intelligence -- Computer programs -- Congresses; Artificial intelligence -- Data processing -- Congresses; Model checking; MoChArt 006.3 2017-04-17T03:36:08Z 2017-04-17T03:36:08Z 2009 Book http://repository.vnu.edu.vn/handle/VNU_123/29604 application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| topic |
Artificial intelligence -- Computer programs -- Congresses; Artificial intelligence -- Data processing -- Congresses; Model checking; MoChArt 006.3 |
| spellingShingle |
Artificial intelligence -- Computer programs -- Congresses; Artificial intelligence -- Data processing -- Congresses; Model checking; MoChArt 006.3 Model Checking and Artificial Intelligence |
| format |
Book |
| title |
Model Checking and Artificial Intelligence |
| title_short |
Model Checking and Artificial Intelligence |
| title_full |
Model Checking and Artificial Intelligence |
| title_fullStr |
Model Checking and Artificial Intelligence |
| title_full_unstemmed |
Model Checking and Artificial Intelligence |
| title_sort |
model checking and artificial intelligence |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/29604 |
| _version_ |
1680964938014654464 |