tag :: functional_programming inductive_programming automatic_programming recursive_program_schemes 2003 inductive_inference | BibSonomy

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

Нет подходящих.

&lang;&lang;
⟨
&rang;
⟩⟩

публикации (спрятать)1
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

2Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
E. Kitzelmann. Technische Universität Berlin, (2003)
18 лет назад , @mh
2003
automatic_programming
functional_programming
igor1
induction
inductive
inductive_functional_programming
inductive_inference
inductive_program_synthesis
inductive_programming
mastersthesis
myown
programming
recursive_program_schemes
2003automatic_programmingfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programmingmastersthesismyownprogrammingrecursive_program_schemes
(0)
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
&rang;
⟩⟩

Что такое BibSonomy?: С чего начать; Кнопки для браузера; Помощь
Разработчикам: Обзор; API-документация

Контакт и защита личных данных: о нас; Cookies; Сообщить о проблеме; BibSonomy Вики

Интеграция: PUMA; Расширение для TYPO3; Плагин для; Клиент Java REST; Поддерживаемые источники; далее

О BibSonomy: Команда; Блог; Список рассылки
Социальные сети: Наш Twitter