The Haskell road to logic, maths and programming / Kees Doets; Jan van Eijck
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts in computing ; 4Verlag: London : King's College Publ., 2004Beschreibung: X, 426 S. : graph. Darst. ; 23cmISBN:- 0954300696
- 9780954300692
- theory of computation
- logics and meanings of programs
- studies of program constructs
- program and recursion schemes
- mathematical logic and formal languages
- mathematical logic
- proof theory
- mathematics of computing
- HASKELL
- Logische Programmierung
- Computeralgebra
- Logic programming
- Logic, Symbolic and mathematical
- QA9
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Doe | Bibliothek / frei aufgestellt | D.Doe(55590) | Verfügbar | 000634182090 |
Anzahl Vormerkungen: 0