Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
Attributed to:
A cognitive model of axiom formulation and reformulation with application to AI and software engineering
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-11811-1_15
Publication URI: http://dx.doi.org/10.1007/978-3-642-11811-1_15
Type: Book Chapter
Book Title: Abstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (2010)
Page Reference: 189-202
ISBN: 978-3-642-11810-4