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
Fuzzy control : Theorie und Industrieeinsatz
1. Aufl, 2000
Signatur: WGD1875
    Datensatz exportieren als...
  • BibTeX
Readings in nonmonotonic reasoning
1. [Dr.], 1987
Signatur: TCL3783
    Datensatz exportieren als...
  • BibTeX
An introduction to Kolmogorov complexity and its applications
Texts and monographs in computer science
1993
Signatur: TVI2712
    Datensatz exportieren als...
  • BibTeX
Logic : mathematics, language, computer science, and philosophy
Signatur: TCL4268-...
    Datensatz exportieren als...
  • BibTeX
In the light of logic
Logic and computation in philosophy
1998
Signatur: TBP4086
    Datensatz exportieren als...
  • BibTeX
Lambda calculi : a guide for computer scientists
Graduate texts in computer science : 3 (Alle Bände)
1994
Signatur: TCL4179
    Datensatz exportieren als...
  • BibTeX
Logic : a foundation for computer science
International computer science series
1991
Signatur: TVA2178
    Datensatz exportieren als...
  • BibTeX
Topology via logic
Cambridge tracts in theoretical computer science : 5 (Alle Bände)
1989
Signatur: TCX1901
    Datensatz exportieren als...
  • BibTeX
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    Datensatz exportieren als...
  • BibTeX
Model theoretic algebra : with particular emphasis on fields, rings, modules
Algebra, logic and applications : 2 (Alle Bände)
Authoriz. facs. of the orig. ed, 1989
Signatur: TDW3261
    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
La logique floue
Que sais-je? : 2702 (Alle Bände)
1993
Signatur: M6581
    Datensatz exportieren als...
  • BibTeX
Classical recursion theory
Studies in logic and the foundations of mathematics : ...
Signatur: TCL3686-...
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap
Entailment (Alle Bände)
1975
Signatur: TCL2038-1
    Datensatz exportieren als...
  • BibTeX
Modelltheorie
BI-Hochschulskripten : ...
Signatur: TCL1456-...
    Datensatz exportieren als...
  • BibTeX
Many valued logics
1992-
Signatur: TCL3995-...
    Datensatz exportieren als...
  • BibTeX
Aleph-zero-categoricity over a predicate
1988
Signatur: D442
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Metalogic : an introd. to the metatheory of standard first order logic
1971
Signatur: TCL2622
    Datensatz exportieren als...
  • BibTeX
An introduction to modal logic
Reprint. with corr, 1972
Signatur: TCL1595
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    Datensatz exportieren als...
  • BibTeX
Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963
Studies in logic and the foundations of mathematics
1965
Signatur: TCL2208
    Datensatz exportieren als...
  • BibTeX
Precision, language and logic
1. ed, 1977
Signatur: TCL2614
    Datensatz exportieren als...
  • BibTeX
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
1 – 25 von 357
Suche als RSS-Feed
Aktive Filter
SystemstelleTVC
Suchergebnisse filtern
Filter anzeigen