Results 251 to 260 of about 1,007,644 (283)
Some of the next articles are maybe not open access.
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Journal of Automated Reasoning, 2017Adam Grabowski +2 more
exaly
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Journal of Automated Reasoning, 2017