Annals of Computer Science and Information Systems [IEEE 2017 Federated Conference on Computer Science and Information Systems - (2017.9.3-2017.9.6)] Proceedings of the 2017 Federated Conference on Computer Science and Information Systems - Introducing Euclidean Relations to Mizar
Naumowicz, Adam, Kornilowicz, ArturVolume:
11
Year:
2017
Language:
english
DOI:
10.15439/2017F368
File:
PDF, 103 KB
english, 2017