Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBasetez oradaEkotizim uchun ochiq API
Lotin
Oʻzbek

TSpace

1 ta ish

Repozitoriy

  1. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertatsiyaLogic, programming, and type systemsTSpace20000 iqtibos
    ABI