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