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


Biocontrol science and technology, 2023-08, Vol.33 (8), p.701-715
2023
Link zum Volltext


IEEE transactions on dielectrics and electrical insulation, 2018-04, Vol.25 (2), p.614-622
2018

Journal of automated reasoning, 2017-10, Vol.59 (3), p.287-330
2017
Link zum Volltext







Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI, 2024, p.245-246
2024
Link zum Volltext

2024 IEEE/ACM 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN), 2024, p.245-246
2024
Link zum Volltext

Asian Journal of Pharmaceutical Research, 2020-09, Vol.10 (3), p.177
2020
Link zum Volltext




Open Access
The Proof Certifier Checkers
Automated Reasoning with Analytic Tableaux and Related Methods, p.201-210
Link zum Volltext


The Journal of systems and software, 2014-06, Vol.92, p.59-70
2014
Link zum Volltext


Journal of applied polymer science, 2003-03, Vol.87 (13), p.2033-2051
2003
Link zum Volltext


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