著者
書誌事項
Texts in computing
King's College
この図書・雑誌をさがす
関連文献： 7件中 1-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
所蔵館3館
-
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
所蔵館1館
-
3
- Learn prolog now!
-
Patrick Blackburn, Johan Bos, Kristina Striegnitz
College Publications c2006 Texts in computing v. 7
: pbk.
所蔵館2館
-
4
- Bridges from classical to nonmonotonic logic
-
David Makinson
King's College c2005 Texts in computing v. 5
所蔵館3館
-
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
所蔵館2館
-
7
- The Haskell road to logic, maths and programming
-
Kees Doets, Jan van Eijck
King's College c2004 Texts in computing 4
所蔵館9館