AGENTS, LOGIC AND THEOREM PROVING

Tableaux'2007 Workshop

July 3, 2007 Aix-en-Provence

Workshop Information

Contact

Camilla Schwind

Laboratoire d'informatique fondamentale LIF
Parc Scientifique et Technologique de Luminy,
163 avenue de Luminy - case 901
13288 Marseille cedex 9, (France)
E-mail: Camilla dot Schwind at lif dot univ-mrs dot fr
Phone: +33 4 91 82 94 96 or +33 4 91 82 90 70 (secr.)
Fax: +33 (0)4 91 82 92 75