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
Lambda calculi : a guide for computer scientists
Graduate texts in computer science : 3 (Alle Bände)
1994
Signatur: TCL4179
    Datensatz exportieren als...
  • BibTeX
In the light of logic
Logic and computation in philosophy
1998
Signatur: TBP4086
    Datensatz exportieren als...
  • BibTeX
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    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
Aleph-zero-categoricity over a predicate
1988
Signatur: D442
    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
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
The unprovability of consistency : an essay in modal logic
1979
Signatur: TCL2981
    Datensatz exportieren als...
  • BibTeX
Modal logic : an introduction
1980
Signatur: TCL3050
    Datensatz exportieren als...
  • BibTeX
Discrete and switching functions
Advanced book program
1978
Signatur: TCL2761
    Datensatz exportieren als...
  • BibTeX
The decision problem : solvable classes of quantificational formulas
1979
Signatur: TCL3076
    Datensatz exportieren als...
  • BibTeX
Precision, language and logic
1. ed, 1977
Signatur: TCL2614
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
1 – 25 von 356
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCresswell, Maxwell J
Suchergebnisse filtern
Filter anzeigen