Semantics and Syntax: A Legacy of Alan Turing
|Institution:||Isaac Newton Institute for Mathematical Sciences|
|Description:||The year 2012 sees the 100th anniversary of the birthday of Alan Turing, who made fundamental contributions to our research areas and worked within both the semantic/computational and syntactic/symbolic paradigms, and managed to combine them in various applications using an integrated methodology.
Read more at: http://www.newton.ac.uk/programmes/SAS/
This collection contains 177 media items.
Bridging Formal Methods in Computer Science for Scientific Computing and Cognitive Science Modelling Tasks