Вы здесь

Главная

доказуемый

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

Certified Programs and Proofs: Proc./1st International Conference, CPP 2011, Kenting, Taiwan, December 2011
Theory and Applications of Models of Computation: Proc./10th International Conference, TAMC 2013, Hong Kong, China, May 2013