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

Маҳсулотлар

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

AkademBaseЭкотизим учун очиқ API
Китоб

First-Order Dynamic Logic

David Harel
1979en
ABI

Аннотация

Аннотация мавжуд эмас.

Идентификаторлар

DOI
10.1007/3-540-09237-4

Иқтибослар ва манбалар

3 та иқтибос0 та фойдаланилган манба
Кўрсаткичлар — AkademScholar