Вы здесь

Главная

теория порядка

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

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Formal Concept Analysis: Proc./12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 2014