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...
Logical methods in computer science, 2023-08, Vol.19, Issue 3
2023
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2018-09, Vol.277 (Proc. GandALF 2018), p.176-190
2018
Volltextzugriff (PDF)

Artificial intelligence, 2022-06, Vol.307, p.103686, Article 103686
2022
Volltextzugriff (PDF)

IEEE/ACM transactions on computational biology and bioinformatics, 2024-01, Vol.21 (1), p.106-119
2024
Volltextzugriff (PDF)

Journal of automated reasoning, 2024-06, Vol.68 (2), p.6, Article 6
2024
Volltextzugriff (PDF)

Software and systems modeling, 2024-04, Vol.23 (2), p.427-453
2024
Volltextzugriff (PDF)

Information and computation, 2021-06, Vol.278, p.104599, Article 104599
2021
Volltextzugriff (PDF)

GR(1) is equivalent to R(1)
Information processing letters, 2023-01, Vol.179, p.106319, Article 106319
2023
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2022, Vol.370, p.131-146
2022
Volltextzugriff (PDF)

Theoretical computer science, 2020-05, Vol.815, p.247-269
2020
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021, Vol.346, p.152-165
2021
Volltextzugriff (PDF)

The International Journal of Conformity Assessment, 2023-05, Vol.2 (1)
2023
Volltextzugriff (PDF)

Acta neurologica Belgica, 2017-09, Vol.117 (3), p.793-794
2017
Volltextzugriff (PDF)

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.100-109
2016
Volltextzugriff (PDF)

Automated Reasoning with Analytic Tableaux and Related Methods, p.3-20
Volltextzugriff (PDF)



Proceedings of the ... AAAI Conference on Artificial Intelligence, 2023, Vol.37 (5), p.6236-6244
2023
Volltextzugriff (PDF)

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2020-04, Vol.34 (6), p.9859-9866
2020
Volltextzugriff (PDF)

2020 Formal Methods in Computer Aided Design (FMCAD), 2020, p.83-92
2020
Volltextzugriff (PDF)

Complexity of Timeline-Based Planning
Proceedings of the International Conference on Automated Planning and Scheduling, 2017, Vol.27, p.116-124
2017
Volltextzugriff (PDF)



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