Third International Congress on Tools for Teaching Logic (TICTTL)

Venue statistics

records by year

document access 

    frequent authors

      3. TICTTL 2011: Salamanca, Spain

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics