Вы здесь

Главная

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
искусственный интеллект
автоматическое доказательство
дифференциальные уравнения
формальная логика
система основанная на знаниях
линейная логика
модальная логика
решение проблем
язык программирования
спецификация
доказательство теорем
верификация
последовательные вычисления
Стр.: 
477 p.
Редактор: 
Cerrito S.
Popescu A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
11714
Карточка: 

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019Ed. by Cerrito S., Popescu A..-Berlin.: Springer, 2019.-Vol. 11714.-477 p.-(Lecture Notes in Artificial Intelligence).