Web Directory
 

Journal of Formalized Mathematics

  Link Details for: Journal of Formalized Mathematics
Link Title: Journal of Formalized Mathematics Open in a new window
Link URL: http://www.mizar.org/JFM/
Link Details: Contents, abstracts.
Category: Top : Science : Math : Publications : Journals
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Journal of Formalized Mathematics