Skip to Content


Home > Artificial Intelligence > People > Riazanov, Alexandre

< Previous | Next >

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

Review It Rate It Bookmark It