View in EDS

Formal Mathematics for Mathematicians.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first