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...
Aktive Filter
Autor / AutorinDunn, John M
Autor / AutorinFlum, Jörg
SystemstelleTVI
SchlagwortAutomatisches Beweisverfahren
SpracheEnglisch
SchlagwortLambda-Kalkül
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Erscheinungsform
Schlagwort
Erscheinungsjahr
n.n
n.n
Systemstelle
Art des Inhalts