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