notes for the tutorial : The tableaux workbench

Title	notes for the tutorial : The tableaux workbench
Publication Type	Miscellaneous
Year of Publication	2007
Authors	Abate P, Gore R
URL	http://twb.rsise.anu.edu.au/tutorial

Pietro Abate homepage