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...
Physiological research, 2009-01, Vol.58 (2), p.171-177
2009
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.267-278
2019
Volltextzugriff (PDF)

Physiological research, 2010-01, Vol.59 (4), p.625-628
2010
Volltextzugriff (PDF)

Prague medical report, 2012, Vol.113 (1), p.49-52
2012
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.336-353
2019
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.354-370
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.222-238
2019
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.117-135
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.136-154
2019
Volltextzugriff (PDF)

Open Access
Circular (Yet Sound) Proofs
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.1-18
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.279-297
2019
Volltextzugriff (PDF)

On Computing the Union of MUSes
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.211-221
2019
Volltextzugriff (PDF)

Hypertensive crisis--the present view
Časopis lékařů českých, 2009, Vol.148 (8), p.370-373
2009
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.155-163
2019
Volltextzugriff (PDF)

Clausal Abstraction for DQBF
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.388-405
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.71-89
2019
Volltextzugriff (PDF)

Backing Backtracking
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.250-266
2019
Volltextzugriff (PDF)

American journal of physiology. Heart and circulatory physiology, 1997-04, Vol.272 (4), p.H1643-H1649
1997
Volltextzugriff (PDF)


DRMaxSAT with MaxHS: First Contact
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.239-249
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.90-99
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n