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



Smart materials and structures, 2015-11, Vol.24 (11), p.115013
2015
Volltextzugriff (PDF)

Clinical orthopaedics and related research, 2009-11, Vol.467 (11), p.2895-2900
2009
Volltextzugriff (PDF)



Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.233-252
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.113-132
2023
Volltextzugriff (PDF)


Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.21-50
2023
Volltextzugriff (PDF)

Abstract Interpretation of Graphs
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.72-96
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.1-20
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.307-350
2023
Volltextzugriff (PDF)

Modularization of Logic Programs
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.222-232
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.266-280
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.97-112
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.151-169
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.170-187
2023
Volltextzugriff (PDF)

Answer Set Programming Made Easy
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.133-150
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.188-205
2023
Volltextzugriff (PDF)

A Discourse on Guessing and Reasoning
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.253-265
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.281-306
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.206-221
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.51-71
2023
Volltextzugriff (PDF)
Aktive Filter
PublikationsformNewsletter-Artikel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt