Construmath South 2012

dc.contributor.editor	McKubre-Jordens, M	en
dc.contributor.editor	Sainudiin, R	en
dc.date.accessioned	2013-01-06T23:09:23Z	en
dc.date.available	2013-01-06T23:09:23Z	en
dc.date.issued	2012	en
dc.identifier.citation	CDMTCS Research Reports CDMTCS-420 (2012)	en
dc.identifier.issn	1178-3540	en
dc.identifier.uri	http://hdl.handle.net/2292/19809	en
dc.description	Construmath South 2012 Applications of Non-Classical Logic Proceedings of the Workshop at Westport	en
dc.description.abstract	This meeting was held on 26–28 January, 2012, at the Westport Field Station of the University of Canterbury, on the South Island of New Zealand. It was aimed at fostering the exchange of ideas between various disciplines, emphasizing links between mathematics, computer science, philosophy and statistics.	en
dc.publisher	Department of Computer Science, The University of Auckland, New Zealand	en
dc.relation.ispartofseries	CDMTCS Research Report Series	en
dc.rights.uri	https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm	en
dc.source.uri	http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial	en
dc.title	Construmath South 2012	en
dc.type	Technical Report	en
dc.subject.marsden	Fields of Research::280000 Information, Computing and Communication Sciences	en
dc.rights.holder	The author(s)	en
dc.rights.accessrights	http://purl.org/eprint/accessRights/OpenAccess	en