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

Canadian journal of remote sensing, 2004, Vol.30 (3), p.517-524
2004
Volltextzugriff (PDF)

Acta informatica, 2011-08, Vol.48 (5-6), p.291-315
2011
Volltextzugriff (PDF)

Encodings of Bounded Synthesis
Tools and Algorithms for the Construction and Analysis of Systems, p.354-370
Volltextzugriff (PDF)


Theory and Applications of Satisfiability Testing – SAT 2017, p.314-325
Volltextzugriff (PDF)

CAQE: A Certifying QBF Solver
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015, p.136-143
2015
Volltextzugriff (PDF)


Information and computation, 2016-04, Vol.247, p.106-129
2016
Volltextzugriff (PDF)

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

Open Access
Incremental Determinization
Theory and Applications of Satisfiability Testing – SAT 2016, p.375-392
Volltextzugriff (PDF)

Information technology (Munich, Germany), 2014-12, Vol.56 (6), p.273-279
2014
Volltextzugriff (PDF)

Geburtshilfe und Frauenheilkunde, 1996-05, Vol.56 (5), p.231-233
1996
Volltextzugriff (PDF)

Experimental and clinical endocrinology & diabetes, 1996, Vol.104 (3), p.235-242
1996
Volltextzugriff (PDF)



Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, p.1229-1241
2023
Volltextzugriff (PDF)

Zeitschrift des Deutschen Palästina-Vereins (1953), 1996-01, Vol.112 (2), p.100-121
1996
Volltextzugriff (PDF)

2016
Volltextzugriff (PDF)

Canadian journal of remote sensing, 2004, Vol.30 (3), p.517-524
2004
Volltextzugriff (PDF)

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2020, Vol.34 (3), p.2967-2974
2020
Volltextzugriff (PDF)

Biblische Notizen, 1995 (78), p.84-103
1995
Volltextzugriff (PDF)


Verification, Model Checking, and Abstract Interpretation, p.169-185
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt