"Alberto Pettorossi" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automatic Program Development: A Tribute to Robert Paige

Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi

5.57 Mb

#2

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

Alberto Pettorossi

Категория: Cs_Computer science, CsLn_Lecture notes

1.59 Mb

#3

Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Alberto Pettorossi

3.47 Mb