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
Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen
Springer-Lehrbuch
1995
Signatur: TVD1981
    Datensatz exportieren als...
  • BibTeX
From logic to computers
Computer science texts
Repr, 1984
Signatur: TVD1680
    Datensatz exportieren als...
  • BibTeX
Introduction to discrete mathematics for software engineering
Macmillan computer science series
1986
Signatur: TVD1729
    Datensatz exportieren als...
  • BibTeX
Triangular norm based measures and games with fuzzy coalitions
Theory and decision library : Series C, Game theory, mathematical programming and mathematical economics : 10 (Alle Bände)
1993
Signatur: TVD1949
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Solutions manual
Mathematical structures for computer science (Alle Bände)
2. ed., 2. [Dr.], 1987
Signatur: TVD1664(2)-2
    Datensatz exportieren als...
  • BibTeX
LYaPAS : a programming language for logic and coding algorithms
ACM monograph series
1969
Signatur: TVD1274
    Datensatz exportieren als...
  • BibTeX
From logic to computing
1. [Dr.], 1991
Signatur: TVD1826
    Datensatz exportieren als...
  • BibTeX
Einführung in Fuzzy-Logik : Fortschritt durch Unschärfe
1993
Signatur: TVD1876
    Datensatz exportieren als...
  • BibTeX
Boolesche Algebra und Logik-Entwurf : eine programmierte Einführung
2., verb. Aufl, 1972
Signatur: TVD1038(2)
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science
1982-
Signatur: TVD1664-...
    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
Logic design algorithms
Harwell series
1972
Signatur: TVD1907
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker
Signatur: TVD1614
    Datensatz exportieren als...
  • BibTeX
Computer arithmetic : logic and design
Wiley series in computing
1981
Signatur: TVD1402-EN
    Datensatz exportieren als...
  • BibTeX
Symbolic logic : classical and advanced systems
1990
Signatur: TVD1834
    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
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
Boolean algebra and its uses
VNR new mathematics library : 4 (Alle Bände)
1974
Signatur: TVD1305
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker. 1. Die Methode der Mathematik
Mathematik für Informatiker (Alle Bände)
2., korr. Aufl, 1981
Signatur: TVD1614(2)-1
    Datensatz exportieren als...
  • BibTeX
Graphen, Mengen und Schaltalgebra
Uni-Taschenbücher : 441 (Alle Bände), Fachbuchreihe angewandte Elektronik für Fachhochschulen
1975
Signatur: M10427
    Datensatz exportieren als...
  • BibTeX
Deduction systems
Graduate texts in computer science
1997
Signatur: TVD2092
    Datensatz exportieren als...
  • BibTeX
Schaltkreistheorie
De-Gruyter-Lehrbuch
1974
Signatur: TVD1151
    Datensatz exportieren als...
  • BibTeX
Elemente der Schaltungsalgebra : eine anschauliche Einführung in den Entwurf kombinatorischer und sequentieller Schaltungen : mit 39 Tabellen und zahlreichen Beispielen sowie 79 Übungsaufgaben mit Lösungen
7., völlig neu gefaßte Aufl, 1972
Signatur: TVD1004(7)
    Datensatz exportieren als...
  • BibTeX
Logic, semantics, metamathematics : papers from 1923 to 1938
Repr, 1969
Signatur: TVD1062
    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
1 – 25 von 63
Suche als RSS-Feed
Aktive Filter
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen