Обзоры
Отзывов пока нет
Станьте первым, кто оставит отзыв об этой книге и поделится своими мыслями
Войдите, чтобы оставить отзыв
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Оценок пока нет
2011
·
Английский
·
Мягкая обложка