Ekotizim

Kashfiyot

Xizmatlar

AslMatnboshqa saytga oʻtadiPlagiat va AI-matn aniqlash
AkademJSboshqa saytga oʻtadiBoshqariladigan ilmiy nashr platformasi
AkademTranslittez oradaTransliteratsiya va tarjima
AkademAItez oradaEkotizimning AI qatlami
AkademPreprinttez oradaPreprint nashr platformasi

Identifikatsiya

AkademIDboshqa saytga oʻtadiTadqiqotchi identifikatori va profili

Ishlab chiquvchilar uchun

AkademBaseboshqa saytga oʻtadiMaʼlumot infratuzilmasi va API

Ekotizim

AkademTechboshqa saytga oʻtadiAkademik infratuzilma ekotizimi

Loyiha haqida Qamrov Yordam

Yongmei Liu

1 ta ish

AkademScholarda batafsil koʻrsatkichlar

Hoare logic for GOLOG programs
Yongmei Liu
DissertatsiyaOchiq kirishLogic, programming, and type systemsTSpace20000 iqtibos
ABI