Loại tài liệu:
Chỉ tìm trong:
1741-1750 trong số 1798 kết quả
|
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, Septe...
|
|
Tác giả:
Michael Cochez, Michael Cochez, Madalina Croitoru, Madalina Croitoru, Pierre Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph
|
|
Xuất bản:
Cham, Switzerland:
Springer Nature
,
2021
|
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, Par...
|
|
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ở
|
|
|
|
|