Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
Kitob

First-Order Dynamic Logic

David Harel
1979en
ABI

Annotatsiya

Annotatsiya mavjud emas.

Identifikatorlar

DOI
10.1007/3-540-09237-4

Iqtiboslar va manbalar

3 ta iqtibos0 ta foydalanilgan manba
Koʻrsatkichlar — AkademScholar