Вы здесь

Главная

Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
формальная логика
теория множеств
образовательный
логика
теория моделей
семантика
доказательство теорем
логика первого порядка
верификация
теория доказательств
модальная логика
темпоральная логика
автоматическое доказательство
анализ формальной концепции
lattice-based
rough sets theory
Стр.: 
195 p.
Редактор: 
Khan A.
Manuel A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11600
Карточка: 

Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019Ed. by Khan A., Manuel A..-Berlin.: Springer, 2019.-Vol. 11600.-195 p.-(Lecture Notes in Computer Science).