From Saarland University: Introduction To Computational Logic.
Includes lecture notes and references to literature.
Monday, August 4, 2008
Introduction To Computational Logic
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Brad Clow's blog
Subscribe
Labels
- cycling (1)
- education (14)
- error (15)
- F# (4)
- finance (7)
- fun (4)
- git (8)
- haskell (12)
- java (3)
- linux (3)
- logic (2)
- mac (19)
- mathematics (18)
- matlab (2)
- mercurial (8)
- organisation (20)
- presentations (10)
- programming (49)
- qotd (19)
- r (2)
- scala (7)
- science (4)
- stuff (5)
- subversion (5)
- trading (3)
- ubuntu (1)
- vim (1)
- windows (2)
- xmonad (1)
No comments:
Post a Comment