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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Rekursionstheorie
1993
Signatur: TCL4195
    Datensatz exportieren als...
  • BibTeX
Die These von Church : zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie
Europäische Hochschulschriften : Reihe 1, Deutsche Sprache und Literatur : 1599 (Alle Bände)
1997
Signatur: HLD3717
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
2. Aufl, 1971
Signatur: TCL1016(2)
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
3. Aufl, 1978
Signatur: TCL3026(3)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVI1740(2)
    Datensatz exportieren als...
  • BibTeX
Modell- und rekursionstheoretische Gru ndlagen psychologischer Theorienbildung
Lehr- und Forschungstexte Psychologie : 14
1985
    Datensatz exportieren als...
  • BibTeX
Zur Berechenbarkeit reeller geometrischer Probleme
HNI-Verlagsschriftenreihe : 115 (Alle Bände)
2003
Signatur: TVI4332
    Datensatz exportieren als...
  • BibTeX
Zur Berechenbarkeit reeller geometrischer Probleme
2002
Signatur: PQ209
    Datensatz exportieren als...
  • BibTeX
Modell- und rekursionstheoretische Grundlagen psychologischer Theorienbildung
Lehr- und Forschungstexte Psychologie : 14 (Alle Bände)
1985
Signatur: HQM2685
    Datensatz exportieren als...
  • BibTeX
Mathematische Logik [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Ein Jahrhundert Mathematik 1890 - 1990 : Festschrift zum Jubiläum der DMV
Dokumente zur Geschichte der Mathematik : 6 (Alle Bände)
1990
Signatur: TAQ3845
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Eine problemorientierte Einführung [electronic resource]
1st ed. 1996, 1996
    Datensatz exportieren als...
  • BibTeX
Strukturtypen der Logik
Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie : 3
1984
    Datensatz exportieren als...
  • BibTeX
Theoretische Grundlagen der Informatik [electronic resource]
1st ed. 1993, 1993
    Datensatz exportieren als...
  • BibTeX
Ein Jahrhundert Mathematik 1890 - 1990 : Festschrift Zum Jubiläum der DMV
First edition, [1990]
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen