Результаты

  1. Bar-Hillel Theorem Mechanization in Coq

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

Просмотреть все (1) »

ID: 18595849