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
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
THEORY OF ALGORITHMS (TEORIJA ALGORIFMOV, ENGL.)
WORKS OF THE MATHEMATICAL INSTITUTE IM. V. A. STEKLOV . VOL. 42. : 42 (Alle Bände)
1971
Signatur: TCO1037
    Datensatz exportieren als...
  • BibTeX
Lineare Aussageformen - programmiert
Basiswissen Mathematik
1973
Signatur: TCO1087
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik und Beweisverfahren : mit ... 45 Beispielen u. 81 Aufgaben
Mathematik für die Lehrerausbildung
1974
Signatur: TCO1273
    Datensatz exportieren als...
  • BibTeX
Theory of recursive functions and effective computability
MCGRAW-HILL SERIES IN HIGHER MATHEMATICS.
1967
Signatur: TCO1281
    Datensatz exportieren als...
  • BibTeX
Notes on constructive mathematics
1970
Signatur: TCO1354
    Datensatz exportieren als...
  • BibTeX
Logik der Entscheidungen
Scientia nova
1967
Signatur: TCO1011
    Datensatz exportieren als...
  • BibTeX
Selected papers on Łukasiewicz sentential calculi
1977
Signatur: TCO1469
    Datensatz exportieren als...
  • BibTeX
Elementary applied symbolic logic
1976
Signatur: TCO1435
    Datensatz exportieren als...
  • BibTeX
Formal semantics and logic
1971
Signatur: TCO1419
    Datensatz exportieren als...
  • BibTeX
An introduction to the theory of surreal numbers
London Mathematical Society lecture note series : 110 (Alle Bände)
1986
Signatur: TCO1540
    Datensatz exportieren als...
  • BibTeX
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
2., verb. Aufl, 1991
Signatur: TCL3775(2)
    Datensatz exportieren als...
  • BibTeX
Fuzzy-Theorie oder Die Faszination des Vagen : Grundlagen einer präzisen Theorie des Unpräzisen für Mathematiker, Informatiker und Ingenieure
Informatik & Computer
1993
Signatur: TCO1574
    Datensatz exportieren als...
  • BibTeX
Fuzzy-Systeme
Leitfäden der Informatik
2., überarb. Aufl, 1995
Signatur: TCO1558(2)
    Datensatz exportieren als...
  • BibTeX
Two Applications Of Logic To Mathematics
Publications Of The Mathematical Society Of Japan : 13 (Alle Bände), KANO MEMORIAL LECTURES : 3 (Alle Bände)
1978
Signatur: TCO1516
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen