Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseскороОткрытый API экосистемы
Латиница
Русский

TSpace

Работ: 1

Репозиторий

  1. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace2000Цитирований: 0
    ABI