This blog is defunct. It's content, along with that of my other blogs, is now hosted at thomas-sutton.id.au.
Saturday, February 03, 2007
Subscribe to:
Posts (Atom)
Implementing a theorem prover for modal logics based on labelled tableaux.
This blog is defunct. It's content, along with that of my other blogs, is now hosted at thomas-sutton.id.au.