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

Bone marrow transplantation (Basingstoke), 2014-07, Vol.49 (7), p.942-949
2014
Volltextzugriff (PDF)


1st, 2019
Volltextzugriff (PDF)








Open Access
DPLL(T): Fast Decision Procedures
Computer Aided Verification, 2004, Vol.3114, p.175-188
2004
Volltextzugriff (PDF)

Computer Aided Verification, 2004, Vol.3114, p.202-215
2004
Volltextzugriff (PDF)

Computer Aided Verification, 2004, Vol.3114, p.479-483
2004
Volltextzugriff (PDF)

SAL 2
Lecture notes in computer science, 2004, p.496-500
2004
Volltextzugriff (PDF)









Automated Technology for Verification and Analysis, 2016, Vol.9938, p.479-494
2016
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n