Author(s)
Bibliographic Information
Texts in computing
King's College
Search this Book/Journal
Related Books： 1-7 of 7
-
1
- The Haskell road to logic, maths and programming
-
Kees Doets, Jan van Eijck
College Publications 2012 2nd ed Texts in computing v. 4
: pbk
Available at 3 libraries
-
2
- Implementing programming languages : an introduction to compilers and interpreters
-
Aarne Ranta ; appendix coauthored by Markus Forsberg
King's College c2012 Texts in computing v. 16
Available at 1 libraries
-
3
- Learn prolog now!
-
Patrick Blackburn, Johan Bos, Kristina Striegnitz
College Publications c2006 Texts in computing v. 7
: pbk.
Available at 2 libraries
-
4
- Bridges from classical to nonmonotonic logic
-
David Makinson
King's College c2005 Texts in computing v. 5
Available at 3 libraries
-
5
- Programming languages and operational semantics : an introduction
-
Maribel Fernández
King's College c2004 Texts in computing v. 1
-
6
- An introduction to lambda calculi for computer scientists
-
Chris Hankin
King's College c2004 Texts in computing v. 2
Available at 2 libraries
-
7
- The Haskell road to logic, maths and programming
-
Kees Doets, Jan van Eijck
King's College c2004 Texts in computing 4
Available at 9 libraries
