Search Results - Furushima, Hideharu

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    An Integrated Web Platform for the Mizar Mathematical Library

    An Integrated Web Platform for the Mizar Mathematical Library by Furushima, Hideharu, Yamamichi, Daichi, Shigenaka, Seigo, Nakasho, Kazuhisa, Wasaki, Katsumi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: