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...











Journal of hepatology, 2012-04, Vol.56, p.S536-S536
2012
Volltextzugriff (PDF)

Open Access
The Higher-Order Prover Leo-III
Automated Reasoning, 2018, Vol.10900, p.108-116
2018
Volltextzugriff (PDF)


9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, United Kingdom, 2018, Vol.10900, p.646-662
2018
Volltextzugriff (PDF)



Clinical gastroenterology and hepatology, 2018-06, Vol.16 (6), p.892-899.e2
2018
Volltextzugriff (PDF)




Extended Resolution Simulates DRAT
Automated Reasoning, 2018, Vol.10900, p.516-531
2018
Volltextzugriff (PDF)



Alimentary Pharmacology & Therapeutics (Suppl), 2016-01, Vol.43 (2), p.252-261
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n