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





Geomechanics and geophysics for geo-energy and geo-resources., 2020-03, Vol.6 (1), Article 14
2020
Volltextzugriff (PDF)


Revista de Engenharia Térmica, 2002-12, Vol.1 (2), p.22
2002
Volltextzugriff (PDF)

Revista de Engenharia Térmica, 2002-12, Vol.1 (2)
2002
Volltextzugriff (PDF)



Electronic proceedings in theoretical computer science, 2024-07, Vol.404
2024
Volltextzugriff (PDF)

Nature communications, 2023-04, Vol.14 (1), p.1931-1931, Article 1931
2023
Volltextzugriff (PDF)

Intelligent Computer Mathematics, p.211-227
Volltextzugriff (PDF)

Intelligent Computer Mathematics, 2019, Vol.11617, p.205-210
2019
Volltextzugriff (PDF)


The Coq Library as a Theory Graph
Intelligent Computer Mathematics, 2019, Vol.11617, p.171-186
2019
Volltextzugriff (PDF)



Diagram Combinators in MMT
Intelligent Computer Mathematics, 2019, Vol.11617, p.211-226
2019
Volltextzugriff (PDF)





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