PAPERS

Title:Problem Solving for the 21st Century
Links:Document as PDF
Authors:Clark Barrett
Daniel Kroening EMail
Tom Melham
Remarks:
Topics:

Bibtex:

@techreport{bkm2014,
  AUTHOR    = { Barrett, Clark
                and Kroening, Daniel
                and Melham, Tom },
  TITLE     = { Problem Solving for the 21st Century },
  YEAR      = { 2014 },
  INSTITUTION= { London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering },
  MONTH     = { June },
  NUMBER    = { 3 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.