@inproceedings{aberdein12__paral_struc_of_mathem_reason_,
 title        = {The Parallel Structure Of Mathematical Reasoning},
 author       = {Aberdein, Andrew},
 year         = {2012},
 tags         = {},
 pages        = {7-15},
 crossref     = {pease12:_proceed_aisb_iacap_world_congr_},
}

@inproceedings{kerber12__formal_repres_proof_for_cooper_games_,
 title        = {Formal Representation and Proof For Cooperative Games},
 author       = {Kerber, Manfred and Lange, Christoph and Rowat, Colin},
 year         = {2012},
 tags         = {},
 pages        = {15-19},
 crossref     = {pease12:_proceed_aisb_iacap_world_congr_},
}

@proceedings{pease12:_proceed_aisb_iacap_world_congr_,
 title        = {Proceedings of the AISB/IACAP World Congress 2012 Symposium on Mathematical Practice and Cognition II},
 editor       = {Pease, Alison and Larvor, B.},
 year         = {2012},
 tags         = {},
 address      = {University of Birmingham, UK},
 pdf_locked   = {False},
 isbn         = {978-1-908187-10-9},
 url          = {https://aisb.org.uk/wp-content/uploads/2019/09/aisb2012.zip},
 url2         = {https://web.archive.org/web/20190115201026/http://www.aisb.org.uk/convention/aisb12},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_12/01.pdf},
}

@inproceedings{pease12__seven_four_minut_of_mathem_,
 title        = {Seventy Four Minutes Of Mathematics},
 subtitle     = {An Anlysis Of The Third Mini-Polymath Project},
 author       = {Pease, Alison and Martin, Ursula},
 year         = {2012},
 tags         = {},
 pages        = {19-30},
 crossref     = {pease12:_proceed_aisb_iacap_world_congr_},
}

@inproceedings{smaill12__mathem_notat_analog_,
 title        = {Mathematical Notation and Analogy},
 author       = {Smaill, Alan},
 year         = {2012},
 tags         = {},
 pages        = {30-32},
 crossref     = {pease12:_proceed_aisb_iacap_world_congr_},
}

@inproceedings{visokolsis12__discov_in_mathem_as_exper_,
 title        = {Discovery In Mathematics As An Experiential Practice Of Privation},
 author       = {Visokolskis, Sandra},
 year         = {2012},
 tags         = {},
 pages        = {32-39},
 crossref     = {pease12:_proceed_aisb_iacap_world_congr_},
}