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
Lambda calculus with types
Perspectives in logic
2013
Signatur: TCO1590
    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
Fuzzy-Systeme
Leitfäden der Informatik
2., überarb. Aufl, 1995
Signatur: TCO1558(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
Implikationen der Implikation
1994
Signatur: D8795
    Datensatz exportieren als...
  • BibTeX
Logic, language, and probability : a selection of papers contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971
Synthese library : 51 (Alle Bände)
1973
Signatur: TCO1396
    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
    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
Mechanizing hypothesis formation : mathematical foundations for a general theory
Universitext
1978
Signatur: TCO1477
    Datensatz exportieren als...
  • BibTeX
Combinatory logic. 1 / Haskell B. Curry
Combinatory logic (Alle Bände)
3. print, 1974
Signatur: TCO1142-1
    Datensatz exportieren als...
  • BibTeX
Combinatory logic. 2 / Haskell B. Curry
Combinatory logic (Alle Bände)
1972
Signatur: TCO1142-2
    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
The logic of decision
2. ed, 1983
Signatur: TCO1011(2)-EN
    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
The language of time
International library of philosophy and scientific method
1968
Signatur: TCO1427
    Datensatz exportieren als...
  • BibTeX
Quantum logic
Synthese library : 126 (Alle Bände)
1978
Signatur: TCO1508
    Datensatz exportieren als...
  • BibTeX
Modern uses of multiple-valued logic : invited papers from the 5th International Symposium on Multiple Valued Logic held at Indiana University, Bloomington, Indiana, May 13 - 16, 1975
Episteme : 2 (Alle Bände)
1977
Signatur: TCO1493
    Datensatz exportieren als...
  • BibTeX
Belief and probability
Synthese library : 104 (Alle Bände)
1976
Signatur: TCO1443
    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
Advanced logic for applications
Synthese library : 110 (Alle Bände)
1977
Signatur: TCO1485
    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
Pragmatic logic
Synthese library : 62 (Alle Bände)
1974
Signatur: TCO1388
    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
Metamathematical investigation of intuitionistic arithmetic and analysis
Lecture notes in mathematics : 344 (Alle Bände)
1973
Signatur: TCO1362
    Datensatz exportieren als...
  • BibTeX
Notes on constructive mathematics
1970
Signatur: TCO1354
1 – 25 von 34
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen