Список литературы

Генератор кроссвордов

Генератор титульных листов

Таблица истинности ONLINE

Прочие ONLINE сервисы

Kниги автора Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Автор: Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Год: 2005
Издание: Springer

Вход на сайт

Информация

В нашем каталоге

Околостуденческое

© 2009-2024, Список Литературы