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




2. ed, 2006
Signatur: TCL4797(2)

Rekursive Funktionen
Springer-Lehrbuch
2002
Signatur: TCL4682




Elementare Beweistheorie
1994
Signatur: TCL4234


Diagonalization and self-reference
Oxford logic guides : 27 (Alle Bände), Oxford science publications
1994
Signatur: TCL4161

Deduktionssysteme
1994
Signatur: TCL4462




Einführung in die Fuzzy-Logik
2., vollst. überarb. und erw. Aufl, 1994
Signatur: TCL3953(2)







Rekursionstheorie
1993
Signatur: TCL4195

Aktive Filter
Autor / AutorinAsser, Günter
Autor / AutorinDunn, John M
Autor / AutorinFlum, Jörg
SpracheNiederländisch
SchlagwortAutomatisches Beweisverfahren
SchlagwortMathematik