LoTREC
Generic Tableau Prover
Home
Run LoTREC
Download
Documentation
Tutorials
news
contact
login
links
about
Home
Run LoTREC
Download
Executable
Sources
Documentation
Online User's Manual
Publications
F.A.Q.
Tutorials
Universal Logic 2010
ESSLLI 2010
Tableaux 2009
Home
Tutorial
Fri, 04/16/2010 - 11:17 — Bilal Said
Slides and course material
see the
tutorial page
Presented at:
The European Summer School in Logic, Language and Information (ESSLLI) 2010
- Copenhagen, Denmark
Previous presentations:
The
3rd World Congress and School on Universal Logic
- Lisbon, Portugal
Tableaux 2009
- Oslo, Norway
The
1st World Congress and School on Universal Logic
- Montreux, Switzerland
Search this site: