Автоматическое доказательство (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Автоматическое доказательство" in Russian language version.

refsWebsite

Global rank Russian rank

6^th place

9^th place

archive.org (Global: 6^th place; Russian: 9^th place)

Gwen Salaün, Bernhard Schätz. Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. — Springer, 2011. — P. 5. — ISBN 9783642244308.