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...
Centenary of the Borel conjecture
1, 2020
Volltextzugriff (PDF)

Journal of automated reasoning, 2014-08, Vol.53 (2), p.173-213
2014
Volltextzugriff (PDF)

Journal of automated reasoning, 2014-02, Vol.52 (2), p.191-213
2014
Volltextzugriff (PDF)

1st ed. 2018., 2018
Volltextzugriff (PDF)

Journal of automated reasoning, 2014-08, Vol.53 (2), p.141-172
2014
Volltextzugriff (PDF)


Journal of automated reasoning, 2014-02, Vol.52 (2), p.123-153
2014
Volltextzugriff (PDF)


An Invitation to Mathematical Logic
Volltextzugriff (PDF)

2nd Edition, 2008
Volltextzugriff (PDF)

Journal of automated reasoning, 2017-12, Vol.59 (4), p.483-502
2017
Volltextzugriff (PDF)

First-Order Modal Logic
Second edition, 2023
Volltextzugriff (PDF)

Soft computing (Berlin, Germany), 2021-04, Vol.25 (7), p.5277-5298
2021
Volltextzugriff (PDF)





Soft computing (Berlin, Germany), 2019-02, Vol.23 (3), p.715-734
2019
Volltextzugriff (PDF)

Field Arithmetic
Second Edition
Volltextzugriff (PDF)

Journal of automated reasoning, 2013-08, Vol.51 (2), p.151-196
2013
Volltextzugriff (PDF)

An Invitation to Mathematical Logic
1, 2024
Volltextzugriff (PDF)



1, 2018
Volltextzugriff (PDF)

Soft computing (Berlin, Germany), 2018-01, Vol.22 (2), p.387-408
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n