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...
Multimedia tools and applications, 2023-08, Vol.82 (19), p.28937-28956
2023
Volltextzugriff (PDF)


International journal of security and networks, 2010, Vol.5 (4), p.220
2010
Volltextzugriff (PDF)




Neuro-chirurgie, 2010-10, Vol.56 (5), p.395-400
2010
Volltextzugriff (PDF)

La revue de medecine interne, 2022-06, Vol.43, p.A232-A233
2022
Volltextzugriff (PDF)

Open Access
Observational proofs by rewriting
Theoretical computer science, 2002-03, Vol.275 (1), p.675-698
2002
Volltextzugriff (PDF)


Neuro-chirurgie, 2010, Vol.56 (5), p.395-400
2010
Volltextzugriff (PDF)


Neuro-chirurgie, 2019-04, Vol.65 (2-3), p.133-134
2019
Volltextzugriff (PDF)

Journal of symbolic computation, 2015-07, Vol.69 (1), p.1-2
2015
Volltextzugriff (PDF)

Theoretical computer science, 2000-04, Vol.236 (1), p.35-132
2000
Volltextzugriff (PDF)

Automated Software Engineering: Proceedings of the 15th IEEE international conference on Automated software engineering; 11-15 Sept. 2000, 2000, p.143-151
2000
Volltextzugriff (PDF)

French title
Neuro-chirurgie, 2012-10, Vol.58 (5), p.325-330
2012
Volltextzugriff (PDF)

2009 IEEE Symposium on Computers and Communications, 2009, p.526-531
2009
Volltextzugriff (PDF)

Journal of symbolic computation, 1997-01, Vol.23 (1), p.47-77
1997
Volltextzugriff (PDF)

2007 12th IEEE Symposium on Computers and Communications, 2007, p.63-70
2007
Volltextzugriff (PDF)

Theoretical computer science, 1996-12, Vol.170 (1), p.245-276
1996
Volltextzugriff (PDF)

Automata-driven automated induction
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 1997, p.14-25
1997
Volltextzugriff (PDF)

SPIKE, an automatic theorem prover
Logic Programming and Automated Reasoning, 2005, p.460-462
2005
Volltextzugriff (PDF)

Open Access
Automata-Driven Automated Induction
Information and computation, 2001-08, Vol.169 (1), p.1-22
2001
Volltextzugriff (PDF)

Annales des télécommunications, 2004-09, Vol.59 (9-10), p.1045-1071
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt