Reasoning with extended Venn-Pierce diagrammatic systems.
Contributors: University of Brighton. School of Computing and Mathematical Science.
Published: 2001
Language: eng
Notes: Thesis (Ph.D.) - University of Brighton, 2001.