The Haskell road to logic, maths and programming / Kees Doets; Jan van Eijck
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts in computing ; 4Publisher: London : King's College Publ., 2004Description: 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
Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Doe | Bibliothek / frei aufgestellt | D.Doe(55590) | Available | 000634182090 |
Total holds: 0