• RecordNumber
    1645
  • Author

    Peltola, Veli

  • Title

    Interactively explorable formal proofs for textbooks of mathematics

  • Collation
    v, 73p.
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=1645&Field=0&DTC=13