Formal Mathematics for Mathematicians.
Saved in:
| Title: | Formal Mathematics for Mathematicians. |
|---|---|
| Authors: | Trybulec, Andrzej1, trybulec@math.uwb.edu.pl, Kornilowicz, Artur1, arturk@math.uwb.edu.pl, Naumowicz, Adam1, adamn@math.uwb.edu.pl, Kuperberg, Krystyna2, kuperkm@auburn.edu |
| Source: | Journal of Automated Reasoning; Feb2013, Vol. 50 Issue 2, p119-121, 3p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-012-9268-z |
