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



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.281-306
2023
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.151-169
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.1-20
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.266-280
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.97-112
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.51-71
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.21-50
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.170-187
2023
Volltextzugriff (PDF)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.307-350
2023
Volltextzugriff (PDF)
Aktive Filter
ThemaTrucking
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n