کتاب های N. Alechina
Advances in Intensional Logic
Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.), 1997
Specification and Verification of Multi-agent Systems
N. Alechina, 2010
Specification and Verification of Multi-agent Systems
N. Alechina, 2010
Specification and Verification of Multi-agent Systems
N. Alechina, 2010
