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
Un programme de démonstration de théorèmes
MONOGRAPHIES D'INFORMATIQUE. 7. : 7 (Alle Bände)
1970
Signatur: TCO1150
    Datensatz exportieren als...
  • BibTeX
Notes on constructive mathematics
1970
Signatur: TCO1354
    Datensatz exportieren als...
  • BibTeX
The language of time
International library of philosophy and scientific method
1968
Signatur: TCO1427
    Datensatz exportieren als...
  • BibTeX
Theory of recursive functions and effective computability
MCGRAW-HILL SERIES IN HIGHER MATHEMATICS.
1967
Signatur: TCO1281
    Datensatz exportieren als...
  • BibTeX
Logik der Entscheidungen
Scientia nova
1967
Signatur: TCO1011
    Datensatz exportieren als...
  • BibTeX
The mathematical theory of context free languages
1966
Signatur: TCO1029
    Datensatz exportieren als...
  • BibTeX
Combinatory logic
Studies in logic and the foundations of mathematics : 65 (Alle Bände)
1958-
Signatur: TCO1142-...
    Datensatz exportieren als...
  • BibTeX
Lehrbuch der Logistik
Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften : Reihe der Grundlehren der exakten Wissenschaften : 2 (Alle Bände)
1954
Signatur: TCO1312
    Datensatz exportieren als...
  • BibTeX
Applications scientifiques de la logique mathématique : actes du 2e Colloque International de Logique Mathématique, Paris, 25 - 30 août 1952, Institut Henri Poincaré
Collection de logique mathématique : Série A : 5 (Alle Bände)
1954
Signatur: TCO1192
26 – 34 von 34
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen