Interactively explorable formal proofs for textbooks of mathematics

RecordNumber
1645
Author
Peltola, Veli
Title
Interactively explorable formal proofs for textbooks of mathematics
Collation
v, 73p.
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=1645&Field=0&DTC=13

Peltola, Veli