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...
IOP conference series. Materials Science and Engineering, 2021-06, Vol.1164 (1), p.12064
2021
Volltextzugriff (PDF)

IOP conference series. Materials Science and Engineering, 2021-06, Vol.1164 (1), p.12085
2021
Volltextzugriff (PDF)

Journal of physics. Conference series, 2019-07, Vol.1281 (1), p.12052
2019
Volltextzugriff (PDF)

Journal of physics. Conference series, 2022-05, Vol.2270 (1), p.12036
2022
Volltextzugriff (PDF)

Journal of physics. Conference series, 2019-09, Vol.1313 (1), p.12015
2019
Volltextzugriff (PDF)




Ai communications, 2002-01, Vol.15 (2-3), p.91-110
2002
Volltextzugriff (PDF)


Journal of symbolic computation, 2003-07, Vol.36 (1), p.101-115
2003
Volltextzugriff (PDF)

TeMP: A Temporal Monodic Prover
Automated Reasoning, 2004, p.326-330
2004
Volltextzugriff (PDF)


Automated Reasoning, 2004, p.60-74
2004
Volltextzugriff (PDF)

Automated Deduction – CADE-19, 2003, p.380-396
2003
Volltextzugriff (PDF)

Information and computation, 2005-05, Vol.199 (1), p.228-252
2005
Volltextzugriff (PDF)

Partially adaptive code trees
Lecture notes in computer science, 2000, p.209-223
2000
Volltextzugriff (PDF)

Ribosome and the secret of longevity
Molekuliarnaia biologiia, 2001-07, Vol.35 (4), p.727
2001
Volltextzugriff (PDF)

Vampire
Automated Deduction — CADE-16, 1999, p.292-296
1999
Volltextzugriff (PDF)

Terapevtic̆eskii arhiv, 2003, Vol.75 (3), p.86
2003
Volltextzugriff (PDF)

Hypertensive heart. Current situation
Klinicheskaia meditsina, 2003, Vol.81 (6), p.15
2003
Volltextzugriff (PDF)

Terapevtic̆eskii arhiv, 2003, Vol.75 (12), p.81
2003
Volltextzugriff (PDF)

Terapevtic̆eskii arhiv, 2000, Vol.72 (2), p.72
2000
Volltextzugriff (PDF)

Molekuliarnaia biologiia, 2001-03, Vol.35 (2), p.321
2001
Volltextzugriff (PDF)

Terapevtic̆eskii arhiv, 2000, Vol.72 (8), p.36
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt