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
250 problems in elementary number theory
Modern analytic and computational methods in science and mathematics : 26 (Alle Bände)
1970
Signatur: TVD2351
    Datensatz exportieren als...
  • BibTeX
Boolean algebra and its uses
VNR new mathematics library : 4 (Alle Bände)
1974
Signatur: TVD1305
    Datensatz exportieren als...
  • BibTeX
Boolean functions : with engineering applications and computer programs
1989
Signatur: TVD1753
    Datensatz exportieren als...
  • BibTeX
Boolean reasoning : the logic of Boolean equations
1990
Signatur: TVD1842
    Datensatz exportieren als...
  • BibTeX
The calculus of computation : decision procedures with applications to verification
2007
Signatur: TVD2288
    Datensatz exportieren als...
  • BibTeX
Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken
1994
Signatur: D10149
    Datensatz exportieren als...
  • BibTeX
Computer arithmetic : logic and design
Wiley series in computing
1981
Signatur: TVD1402-EN
    Datensatz exportieren als...
  • BibTeX
Decision procedures : an algorithmic point of view
Texts in theoretical computer science
2008
Signatur: TVD2319
    Datensatz exportieren als...
  • BibTeX
Deduction methods for disjunctive deductive databases and relation schemas
1998
Signatur: D12115
    Datensatz exportieren als...
  • BibTeX
Deduction systems
Graduate texts in computer science
1997
Signatur: TVD2092
    Datensatz exportieren als...
  • BibTeX
Effizientes Lernen fast optimaler Entscheidungen aus Beispielen
Berichte aus der Informatik
Als Ms. gedr, 1994
Signatur: D9743
    Datensatz exportieren als...
  • BibTeX
First order logic and automated theorem proving
Graduate texts in computer science
2. ed, 1996
Signatur: TVD1787(2)
    Datensatz exportieren als...
  • BibTeX
First order logic and automated theorem proving
Texts and monographs in computer science
1990
Signatur: TVD1787
    Datensatz exportieren als...
  • BibTeX
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    Datensatz exportieren als...
  • BibTeX
From logic to computers
Computer science texts
Repr, 1984
Signatur: TVD1680
    Datensatz exportieren als...
  • BibTeX
From logic to computing
1. [Dr.], 1991
Signatur: TVD1826
    Datensatz exportieren als...
  • BibTeX
Fuzzy decision procedures with binary relations : toward a unified theory
Theory and decision library : Series D, System theory, knowledge engineering and problem solving : 13 (Alle Bände)
1993
Signatur: TVD1957
    Datensatz exportieren als...
  • BibTeX
Fuzzy logic for the management of uncertainty
Wiley professional computing
1992
Signatur: TVD1931
    Datensatz exportieren als...
  • BibTeX
Fuzzy sets and fuzzy logic : the foundations of application - from a mathematical point of view
Artificial intelligence
1993
Signatur: TVD1884
    Datensatz exportieren als...
  • BibTeX
General hybrid orthogonal functions and their applications in systems and control
Lecture notes in control and information sciences : 213 (Alle Bände)
1996
Signatur: TVD2068
    Datensatz exportieren als...
  • BibTeX
In the light of logic
Logic and computation in philosophy
1998
Signatur: TBP4086
    Datensatz exportieren als...
  • BibTeX
Introduction to discrete mathematics for software engineering
Macmillan computer science series
1986
Signatur: TVD1729
    Datensatz exportieren als...
  • BibTeX
Introduction to mathematical logic : set theory, computable functions, model theory
Undergraduate texts in mathematics
1979
Signatur: TVD1559
    Datensatz exportieren als...
  • BibTeX
Introduction to process algebra : with 11 tables
Texts in theoretical computer science
2000
Signatur: TVD2270
    Datensatz exportieren als...
  • BibTeX
Lambda calculi : a guide for computer scientists
Graduate texts in computer science : 3 (Alle Bände)
1994
Signatur: TCL4179
1 – 25 von 57
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen