The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Nicolas Peltier Viorica Sofronie-Stokkermans
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через