ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.