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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Edukacja Elementarna w Teorii i Praktyce, 2021-06, Vol.16 (2 (60)), p.135-147
2021
Volltextzugriff (PDF)


Annals of Computer Science and Information Systems, 2016, Vol.8, p.373-381
2016
Volltextzugriff (PDF)

Journal of automated reasoning, 2015-10, Vol.55 (3), p.211-221
2015
Volltextzugriff (PDF)


Fundamenta informaticae, 2021-01, Vol.179 (2), p.165-182
2021
Volltextzugriff (PDF)

Formalized mathematics, 2023-09, Vol.31 (1), p.151-159
2023
Volltextzugriff (PDF)

Formalized mathematics, 2023-09, Vol.31 (1), p.277-286
2023
Volltextzugriff (PDF)

Formalized mathematics, 2022-10, Vol.30 (3), p.235-244
2022
Volltextzugriff (PDF)

Annals of Computer Science and Information Systems, 2016, Vol.8, p.363-371
2016
Volltextzugriff (PDF)

2023 IEEE International Conference on Fuzzy Systems (FUZZ), 2023, p.1-6
2023
Volltextzugriff (PDF)

Open Access
Mizar in a Nutshell
Journal of Formalized Reasoning, 2010-01, Vol.3 (2), p.153-245
2010
Volltextzugriff (PDF)

2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2021, p.1-6
2021
Volltextzugriff (PDF)

Fundamenta informaticae, 2016-01, Vol.147 (2-3), p.223-240
2016
Volltextzugriff (PDF)

Formalized mathematics, 2020-04, Vol.28 (1), p.121-128
2020
Volltextzugriff (PDF)

Open Access
Efficient Rough Set Theory Merging
Fundamenta informaticae, 2014, Vol.135 (4), p.371-385
2014
Volltextzugriff (PDF)

Formalized mathematics, 2020-04, Vol.28 (1), p.105-113
2020
Volltextzugriff (PDF)

Formalized mathematics, 2019-12, Vol.27 (4), p.337-345
2019
Volltextzugriff (PDF)

Formalized mathematics, 2023-09, Vol.31 (1), p.325-339
2023
Volltextzugriff (PDF)


Fundamenta informaticae, 2013, Vol.128 (1-2), p.65-79
2013
Volltextzugriff (PDF)

Formalized mathematics, 2018-12, Vol.26 (4), p.271-276
2018
Volltextzugriff (PDF)


Acta Societatis Botanicorum Poloniae, 2014-01, Vol.53 (1), p.77-86
2014
Volltextzugriff (PDF)

Formalized mathematics, 2017-07, Vol.25 (2), p.93-100
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n