Вы здесь

Главная

теория конечной модели

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

Arithmetic of Finite Fields: Revised Selected Papers/5th International Workshop, WAIFI 2014, Gebze, Turkey, September 2014
Theory and Applications of Satisfiability Testing - SAT 2013: Proc./16th International Conference, Helsinki, Finland, July 2013