AGENTS, LOGIC AND THEOREM PROVING

Tableaux'2007 Workshop

July 3, 2007 Aix-en-Provence

Workshop Information

Programm Committee