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

Journal of automated reasoning, 2019-12, Vol.63 (4), p.1005-1029
2019
Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation, p.268-288
Volltextzugriff (PDF)

Cultural geographies, 2013-01, Vol.20 (1), p.43-65
2013
Volltextzugriff (PDF)

Antipode, 2014-01, Vol.46 (1), p.190-208
2014
Volltextzugriff (PDF)


Journal of pediatric urology, 2013-04, Vol.9 (2), p.250-250
2013
Volltextzugriff (PDF)

BMJ case reports, 2013-11, Vol.2013, p.bcr2013201175
2013
Volltextzugriff (PDF)

Contemporary security policy, 2009-04, Vol.30 (1), p.45-49
2009
Volltextzugriff (PDF)








Dynamic Proof Presentation
Mathematical Reasoning: The History and Impact of the DReaM Group, 2021, p.63-86
2021
Volltextzugriff (PDF)

Physical therapy, 1994-02, Vol.74 (2), p.177-184
1994
Volltextzugriff (PDF)



Lecture notes in computer science, 1998, p.225-244
1998
Volltextzugriff (PDF)


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, Vol.LNCS 2152, p.121-125
2001
Volltextzugriff (PDF)


2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018, p.45-52
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt