Dmitry Zaitsev

Dmitry Zaitsev

1 ספרים במאגר

ספרים

Clans of Petri Nets: Verification of protocols and performance evaluation of networksDmitry Zaitsev

Clans of Petri Nets: Verification of protocols and performance evaluation of networks

Dmitry Zaitsev · 2013

ספרים משותפים ואוספים

ספרים שבהם Dmitry Zaitsev מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Many-Valued Semantics and Modal LogicsMarcelo Esteban Coniglio

Many-Valued Semantics and Modal Logics

Marcelo Esteban Coniglio · 2024

The Logical Legacy of Nikolai Vasiliev and Modern LogicVladimir Markin

The Logical Legacy of Nikolai Vasiliev and Modern Logic

Vladimir Markin · 2018