Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...




Nature communications, 2022-01, Vol.13 (1), p.28-11, Article 28
2022
Link zum Volltext




Hammering towards QED
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.101-148
2016
Link zum Volltext

Journal of physics. Conference series, 2017-06, Vol.867 (1), p.12010
2017
Link zum Volltext

Journal of automated reasoning, 2013-02, Vol.50 (2), p.229-241
2013
Link zum Volltext



MizAR 40 for Mizar 40
Journal of automated reasoning, 2015-10, Vol.55 (3), p.245-256
2015
Link zum Volltext


Journal of automated reasoning, 2014-08, Vol.53 (2), p.173-213
2014
Link zum Volltext


Intelligent Computer Mathematics, 2010, p.455-469
2010
Link zum Volltext

Mathematics in computer science, 2015-03, Vol.9 (1), p.5-22
2015
Link zum Volltext

Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.1-2
2016
Link zum Volltext


Journal of symbolic computation, 2015-07, Vol.69, p.109-128
2015
Link zum Volltext



Journal of automated reasoning, 2006-08, Vol.37 (1-2), p.21-43
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt