"Hubert Comon-Lundh" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

Автор: Hubert Comon-Lundh, Автор: Claude Kirchner, Автор: Helene Kirchner

Категория: Компьютеры

Размер книги: 2.95 Mb

Rewriting, Computation and Proof

Автор: Hubert Comon-Lundh, Автор: Claude Kirchner, Автор: Hélène Kirchner

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

Размер книги: 3.45 Mb