Вы здесь

Главная

логика доказательств

Связанные издания:

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./22nd International Conference, TABLEAUX 2013, Nancy, France, September 2013
Models of Strategic Reasoning: Logics, Games, and Communities