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...
Health progress (Saint Louis, Mo.), 2013-07, Vol.94 (4), p.44-51
2013
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.233-252
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.113-132
2023
Link zum Volltext

Abstract Interpretation of Graphs
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.72-96
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.151-169
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.51-71
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.281-306
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.188-205
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.1-20
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.170-187
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.266-280
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.97-112
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.307-350
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.206-221
2023
Link zum Volltext

A Discourse on Guessing and Reasoning
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.253-265
2023
Link zum Volltext

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.21-50
2023
Link zum Volltext

Open Access
Answer Set Programming Made Easy
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.133-150
2023
Link zum Volltext

Modularization of Logic Programs
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.222-232
2023
Link zum Volltext


Functional and Logic Programming, 2018, Vol.10818, p.214-229
2018
Link zum Volltext

Functional and Logic Programming, 2018, Vol.10818, p.99-115
2018
Link zum Volltext




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