Ekotizim

Mahsulotlar

AkademIndexIlmiy qidiruv va kashfiyot
AkademScholartez oradaMetrikalar va ilmiy tahlil
AkademIDtez oradaMuallif identifikatori va profillar

Ishlab chiquvchilar uchun

AkademBasetez oradaEkotizim uchun ochiq API

Loyiha haqida Qamrov Yordam

Lotin

Oʻzbek

Lotin

Oʻzbek

Dissertatsiya

Hoare logic for GOLOG programs

TSpacerepository2000uz

ABI

Annotatsiya

grantor: University of Toronto

Mavzular

Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification

Iqtiboslar va manbalar

0 ta iqtibos16 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar · Tez orada