Valokuva Shahab Tasharrofi

Shahab Tasharrofi

  • Tutkijatohtori, COIN
20162016

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Koulutus / tieteellinen pätevyys

Fil. toht., Simon Fraser University

Myöntöpäivä: 1 helmikuuta 2014

Keywords

  • Knowledge representation and reasoning
  • Constraint Programming
  • Declarative Programming
  • Formal Verification
  • Logic programming
  • Computational logic

Sormenjälki

Sukella tutkimusaiheisiin, joissa Shahab Tasharrofi on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 6 Samanlaiset profiilit

Verkko

Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
Viestisi lähetys onnistui.
Viestiäsi ei lähetetty, koska tapahtui virhe.
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.