Loại tài liệu:
Chỉ tìm trong:
1141-1150 trong số 1356 kết quả
|
Semantic Systems. In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Am...
|
|
Tác giả:
Eva Blomqvist, Mehwish Alam, Mehwish Alam, Eva Blomqvist, Victor de Boer, Victor de Boer, Paul Groth, Paul Groth, Tobias Käfer, Tobias Käfer, Peter Kieseberg, Peter Kieseberg, Sabrina Kirrane, Sabrina Kirrane, Albert Meroño-Peñuela, Albert Meroño-Peñuela, Harshvardhan J Pandit, Harshvardhan J Pandit, Tassilo Pellegrini, Tassilo Pellegrini
|
|
Xuất bản:
Cham, Switzerland:
Springer Nature
,
2020
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|
|
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
|
|
Tác giả:
Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
|
|
Xuất bản:
Cham, Switzerland:
Springer Nature
,
2021
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|