Результаты

  1. Certified Semantics for Relational Programming

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

  2. Typed Relational Conversion

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

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

ID: 222966