Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
November 2020
Table of Contents - PeerJ Computer Science
Sorted by downloads
Publication date
Downloads
Pageviews
Comp Sci
PeerJ - Medicine articles
PeerJ - Biology & Life science articles
PeerJ - General bio (stats, legal, policy, edu)
PeerJ Computer Science
PeerJ Preprints
digital-libraries
theory-and-formal-methods
Login to save + alerts
November 30, 2020
Enhancement of properties in Mizar
Artur KorniĆowicz
https://doi.org/10.7717/peerj-cs.320
← Previous
1
Next →
Archives - Computer Science
digital-libraries
theory-and-formal-methods
2020
November
1
Filter on subjects this month
digital-libraries
1
programming-languages
1
theory-and-formal-methods
1
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback