Библиотека диссертаций Украины Полная информационная поддержка
по диссертациям Украины
  Подробная информация Каталог диссертаций Авторам Отзывы
Служба поддержки




Я ищу:
Головна / Фізико-математичні науки / Математична логіка, теорія алгоритмів і дискретна математика


Пинько Олексій Павлович. Алгебраїчна інтерпретація пропозиційних секвенційних обчислень : Дис... канд. наук: 01.01.08 - 2000.