Информация об авторе

Clerbout N.


Библиография книг автора

Linking Game-Theoretical Approaches with Constructive Type Theory. Dialogical Strategies, CTT demonstrations and the Axiom of Choice Clerbout N. Rahman S.
Linking Game-Theoretical Approaches with Constructive Type Theory. Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Книга "Linking Game-Theoretical Approaches with Constructive Type Theory. Dialogical Strategies, CTT demonstrations and the Axiom of Choice". ...
Нет в наличии