Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Artur Korniłowicz

A Brief Overview of Mizar

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

scientific article published in 2002

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

scientific article published on 25 November 2017

Paulina is supported by:

About Paulina

Help