Вы здесь

Главная

Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2017
Ключевые слова: 
темпоральный
доказательство
пространственный
физический
rule learning
логика
верификация
markup language
модальная логика
темпоральная логика
логика описаний
теория доказательств
онтология
ограничивающий
система основанная на знаниях
язык программирования
логическое программирование
Стр.: 
239 p.
Редактор: 
Costantini S.
Franconi E.
Van_Woensel W.
Kontchakov R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10364
Карточка: 

Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017Ed. by Costantini S., Franconi E., Van_Woensel W., Kontchakov R..-Berlin.: Springer, 2017.-Vol. 10364.-239 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 542