Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseОткрытый API экосистемы
Книга

First-Order Dynamic Logic

David Harel
1979en
ABI

Аннотация

Аннотация отсутствует.

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

DOI
10.1007/3-540-09237-4

Цитирования и источники

Цитирований: 3Использованных источников: 0
Показатели — AkademScholar