Вы здесь

Главная

Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
искусственный интеллект
автоматическое доказательство
дескриптивная логика
формальный язык
формальная логика
constraint solving
процедура решения
онтология
доказательство
архитектура по
дизайн по
качество по
верификация
легализация
Стр.: 
307 p.
Редактор: 
Konev B.
Reger G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
12941
Карточка: 

Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021Ed. by Konev B., Reger G..-Berlin.: Springer, 2021.-Vol. 12941.-307 p.-(Lecture Notes in Artificial Intelligence).