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
Selected papers on Łukasiewicz sentential calculi
1977
Signatur: TCO1469
    Datensatz exportieren als...
  • BibTeX
Applied symbolic logic
A Wiley interscience publication
1980
Signatur: TCO1524
    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
Implikationen der Implikation
1994
Signatur: D8795
    Datensatz exportieren als...
  • BibTeX
Lambda calculus with types
Perspectives in logic
2013
Signatur: TCO1590
    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
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
2., verb. Aufl, 1991
Signatur: TCL3775(2)
    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
26 – 34 von 34
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen