Delta: a new logic programming language & Delta--methodology for p--computable programs in Turing Complete Languages - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Delta: a new logic programming language & Delta--methodology for p--computable programs in Turing Complete Languages Доклады на конференциях

Язык

Русский

Тип доклада

Секционный

Конференция

Международная конференция "Мальцевские чтения"
19-23 авг. 2019 , Новосибирск

Авторы

Нечесов Андрей Витальевич ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

Нечесов А.В.
Delta: a new logic programming language & Delta--methodology for p--computable programs in Turing Complete Languages
Международная конференция "Мальцевские чтения" 19-23 авг. 2019