Вы здесь

Главная

20989

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

Pattern Recognition and Computer Vision, Part II: Proc./4th Chinese Conference, PRCV 2021, Beijing, China, October 2021
Верификация алголо-подобных программ методом индуктивных высказываний