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...
Open Access
Faster, Higher, Stronger: E 2.3
Automated Deduction – CADE 27, 2019, p.495-507
2019
Volltextzugriff (PDF)




Applied mathematics and computation, 2023-11, Vol.456, p.128124, Article 128124
2023
Volltextzugriff (PDF)

Journal of experimental biology, 2009-05, Vol.212 (Pt 9), p.1307-1323
2009
Volltextzugriff (PDF)

Automated Deduction – CADE 27, 2019, p.197-215
2019
Volltextzugriff (PDF)

IEEE transactions on biomedical engineering, 2009-09, Vol.56 (9), p.2295-2298
2009
Volltextzugriff (PDF)



Automated Deduction – CADE 27, 2019, p.35-54
2019
Volltextzugriff (PDF)

2022
Volltextzugriff (PDF)


Open Access
Superposition with Lambdas
Automated Deduction – CADE 27, 2019, p.55-73
2019
Volltextzugriff (PDF)


1991
Volltextzugriff (PDF)

1, 2021
Volltextzugriff (PDF)


Automated Deduction – CADE 27, 2019, p.233-249
2019
Volltextzugriff (PDF)

Automated Deduction – CADE 27, 2019, p.142-160
2019
Volltextzugriff (PDF)

GRUNGE: A Grand Unified ATP Challenge
Automated Deduction – CADE 27, 2019, p.123-141
2019
Volltextzugriff (PDF)

Automated Deduction – CADE 27, 2019, p.269-286
2019
Volltextzugriff (PDF)


Automated Deduction – CADE 27, 2019, p.538-549
2019
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n