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


Computational intelligence, 2001-05, Vol.17 (2), p.214-234
2001
Volltextzugriff (PDF)

Astronomy and astrophysics (Berlin), 2002-07, Vol.390 (1), p.299-306
2002
Volltextzugriff (PDF)

2020
Volltextzugriff (PDF)



Astronomy and astrophysics (Berlin), 2002-03, Vol.384 (3), p.890-898
2002
Volltextzugriff (PDF)


Open Access
Reuse Experience
ITNow, 2013-12, Vol.55 (4), p.16-17
2013
Volltextzugriff (PDF)

A Better x86 Memory Model: x86-TSO
Theorem Proving in Higher Order Logics, p.391-407
Volltextzugriff (PDF)



Astronomy & astrophysics. Supplement series, 1996-09, Vol.118 (3), p.481-494
1996
Volltextzugriff (PDF)

HOL Light: An Overview
Theorem Proving in Higher Order Logics, p.60-66
Volltextzugriff (PDF)


Journal of Japanese Society of Gastroenterology, 2018-03, Vol.115 (suppl-1), p.248-248
2018
Volltextzugriff (PDF)

Mathematical biosciences and engineering : MBE, 2020-09, Vol.17 (6), p.6515-6530
2020
Volltextzugriff (PDF)


Advances in Case-Based Reasoning, 2004, p.389-403
2004
Volltextzugriff (PDF)

Cell genomics, 2023-01, Vol.3 (1), p.100241-100241, Article 100241
2023
Volltextzugriff (PDF)




Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n