Matches in DBpedia 2016-04 for { ?s ?p "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation."@en }
Showing triples 1 to 4 of
4
with 100 triples per page.
- Carolyn_Talcott abstract "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.".
- Q15020 abstract "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.".
- Carolyn_Talcott comment "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.".
- Q15020 comment "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.".