ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.