Вы здесь

Главная

Logic, Language, Information, and Computation: Proc./25th International Workshop, WoLLIC 2018, Bogota, Colambia, July 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
решение проблем
искусственный интеллект
формальная логика
язык программирования
разработка по
спецификация
дифференциальные уравнения
выполнимость
численные методы
модальная логика
Стр.: 
325 p.
Редактор: 
Moss L. S.
de Queiroz R.
Martinez M.
Место издания: 
Berlin
Издательство: 
Springer
Источник: 
Моделирование и анализ информационных систем
Том: 
10944
Карточка: 

Logic, Language, Information, and Computation: Proc./25th International Workshop, WoLLIC 2018, Bogota, Colambia, July 2018Ed. by Moss L. S., de Queiroz R., Martinez M..-Berlin.: Springer, 2018.-Vol. 10944.-325 p.