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



Foot and ankle surgery, 2022-12, Vol.28 (8), p.1177-1182
2022
Volltextzugriff (PDF)

A Brief Overview of HOL4
Theorem Proving in Higher Order Logics, p.28-32
Volltextzugriff (PDF)


British Journal of Cancer, 1999-12, Vol.81 (7), p.1238-1242
1999
Volltextzugriff (PDF)

Open Access
The verified CakeML compiler backend
Journal of functional programming, 2019, Vol.29, Article e2
2019
Volltextzugriff (PDF)




American journal of epidemiology, 2000-01, Vol.151 (2), p.119-123
2000
Volltextzugriff (PDF)

International journal of cancer, 1998-08, Vol.77 (4), p.511-515
1998
Volltextzugriff (PDF)


Archives of disease in childhood, 2014-04, Vol.99 (Suppl 1), p.A86-A87
2014
Volltextzugriff (PDF)

Immunology, 2022-05, Vol.166 (1), p.68-77
2022
Volltextzugriff (PDF)





Archives of disease in childhood, 2014-04, Vol.99 (4)
2014
Volltextzugriff (PDF)

Open Access
Welding in the World Update
Welding in the world, 2020-04, Vol.64 (4), p.591-592
2020
Volltextzugriff (PDF)


General discussion
Transactions of the Faraday Society, 1936, Vol.32, p.215
1936
Volltextzugriff (PDF)

Journal of Ayub Medical College, Abbottabad, 2016-04, Vol.28 (2), p.224-228
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n