Chemical Symbols and formulas What do we need to know in order to write formulas? What do we need to know in order to correctly name compounds?
Community Consultation Activity and Next Steps Presentation to Community Liaison Panel 08 June 2011.
Summary of results. Reiterate goal of investigation: How general is anticipatory behavior observed by Land & McCleod? Found: Untrained subjects exhibit.
Realizability: Extracting Programs from proofs Types Summer School 2007 Bertinoro (Italia) 4-hours Course by: Stefano Berardi Semantic of Computation Research.