Riazanov, Alexandre
http://www.freewebs.com/riazanov/Computer Scientist and Software Developer. Research interests: Automated Reasoning, Theorem Prover Vampire, Semantic Technologies, Semantic Web, Natural Language Processing.
Submitted in section: Artificial Intelligence: People: Riazanov, Alexandre