|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the 9th Annual Symposium on Logic in Computer Science (LICS'94), Paris, France, July 4-7, 1994сборник
- Год издания: 1994
- Серия: LICS
- Издательство: IEEE Computer Society
- Местоположение издательства: United States
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1994 Language completeness of the Lambek calculus
- Pentus Mati
- в сборнике Proceedings of the 9th Annual Symposium on Logic in Computer Science (LICS'94), Paris, France, July 4-7, 1994, серия LICS, издательство IEEE Computer Society (United States), с. 487-496 DOI