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...
Transactions of the Association for Computational Linguistics, 2021-07, Vol.9, p.675-690
2021
Volltextzugriff (PDF)

Journal of automated reasoning, 2020-06, Vol.64 (5), p.857-877
2020
Volltextzugriff (PDF)

2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2024, p.189-191
2024
Volltextzugriff (PDF)

Interactive Theorem Proving, 2018, Vol.10895, p.623-639
2018
Volltextzugriff (PDF)

Proceedings of the 1st International Workshop on Software Defect Datasets, 2023, p.11-16
2023
Volltextzugriff (PDF)