Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseтез орадаЭкотизим учун очиқ API
Лотин

TSpace

1 та иш

Репозиторий

  1. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace20000 иқтибос
    ABI