Mathematical structures for computer science (Alle Bände)
5. ed., 1. print, 2002
Signatur: TVD1664(5)-1
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Schöning, Uwe
- Gersting, Judith L
- Buchberger, Bruno
- Lichtenberger, Franz
- Fitting, Melvin
- Hamilton, A. G
- Kröger, Fred
- Spaniol, Otto
- Avenhaus, Jürgen
- Baeten, Josephus C. M
- Basten, Thomas
- Bauer, Friedrich L
- Boehme, Gert
- Bradley, Aaron R
- Brown, Frank M
- Bubeck, Uwe
- Burke, Edmund
- Butnariu, Dan
- Caldwell, Samuel Hawks
- Culbertson, James T
Erscheinungsform
Schlagwort
- Mathematische Logik
- Fuzzy-Menge
- Logik
- Logische Programmierung
- Prädikatenlogik
- Schaltalgebra
- Aussagenlogik
- Informatik
- Boolesche Algebra
- Diskrete Mathematik
- Mathematik
- Mengenlehre
- Automatisches Beweisverfahren
- Datenverarbeitung
- Fuzzy-Logik
- Korrektheit
- Künstliche Intelligenz
- Lambda-Kalkül
- Logische Schaltung
- Logischer Entwurf
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts