Вы здесь

Главная

Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
множество ответов
программирование
компилятор
интерпретатор
компьютерная алгебра
программирование в ограничениях
декларативное программирование
функциональное программирование
логическое программирование
вероятностный
формальная логика
гибридная система
представление знаний
реализация языка
domain-specific language
haskell
Стр.: 
287 p.
Редактор: 
Artemov S.
Nerode A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11972
Карточка: 

Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020Ed. by Artemov S., Nerode A..-Berlin.: Springer, 2020.-Vol. 11972.-287 p.-(Lecture Notes in Computer Science).