On Correctness of Mathematical Texts from a Logical and Practical Point of View (2008)
by
Konstantin Verchinine
,
Er Lyaletski
,
Andrei Paskevich
,
Anatoly Anisimov
| Venue: | In Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics |
| Citations: | 2 - 0 self |







