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...
Logical methods in computer science, 2021-01, Vol.17 (2)
2021
Volltextzugriff (PDF)

Journal of automated reasoning, 2022-11, Vol.66 (4), p.499-539
2022
Volltextzugriff (PDF)

Journal of automated reasoning, 2020-10, Vol.64 (7), p.1169-1195
2020
Volltextzugriff (PDF)

Open Access
Superposition with Lambdas
Journal of automated reasoning, 2021-10, Vol.65 (7), p.893-940
2021
Volltextzugriff (PDF)


Journal of automated reasoning, 2011-08, Vol.47 (2), p.191-227
2011
Volltextzugriff (PDF)


Mathematics in computer science, 2015-10, Vol.9 (3), p.265-265
2015
Volltextzugriff (PDF)

Journal of automated reasoning, 2007-04, Vol.38 (1-3), p.57-78
2007
Volltextzugriff (PDF)


Information and computation, 2006-10, Vol.204 (10), p.1453-1492
2006
Volltextzugriff (PDF)


Journal of symbolic computation, 2002-06, Vol.33 (6), p.777-829
2002
Volltextzugriff (PDF)

Journal of symbolic computation, 2002-06, Vol.33 (6), p.831-861
2002
Volltextzugriff (PDF)

Information and computation, 2006, Vol.204 (10), p.1453-1492
2006
Volltextzugriff (PDF)

Information processing letters, 1998-07, Vol.67 (1), p.43-49
1998
Volltextzugriff (PDF)

Applicable algebra in engineering, communication and computing, 1994-05, Vol.5 (3-4), p.193-212
1994
Volltextzugriff (PDF)

Theoretical computer science, 1992-03, Vol.94 (1), p.1-35
1992
Volltextzugriff (PDF)

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004, 2004, p.0_2-0_2
2004
Volltextzugriff (PDF)

Open Access
Mechanical Mathematicians
Communications of the ACM, 2023-03, Vol.66 (4), p.80-90
2023
Volltextzugriff (PDF)


Angewandte Chemie International Edition, 2020-03, Vol.59 (14), p.5595-5601
International ed. in English, 2020
Volltextzugriff (PDF)



Aktive Filter
KollektionSpringerLink Series
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n