Вы здесь

Главная

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

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

Automata, Languages, and Programming, Part I: Proc./41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 2014
Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010
Mathematical Aspects of Computer and Information Science: Revised Selectes Papers/6th International Conference, MACIS 2015, Berlin, Germany, November 2015
Theory and Applications of Models of Computation: Proc/7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 2010