Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Saavutettavuusseloste
English
Suomi
Etusivu
Profiilit
Tutkimustuotos
Tietoaineistot
Projektit
Palkinnot
Aktiviteetit
Lehtileikkeet
Laitteet
Tutkimusyksiköt
Vaikutukset
Haku asiantuntemuksen, nimen tai kytköksen perusteella
Yhteydenotto asiantuntijaan
Näytä Scopus-profiili
Shahab Tasharrofi
Tutkijatohtori
,
COIN
2016
2016
Tutkimustuotoksia vuodessa
Yleiskatsaus
Sormenjälki
Verkko
Tutkimustuotos
(6)
Samanlaiset profiilit
(7)
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.
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.
Järjestys:
Painoarvo
Aakkosjärjestyksessä
Mathematics
Answer Set Programming
Logic Programs
Semantics
Conjunctive Normal Form
Specification
Unstable
Search Problems
Encoding
Hierarchy
Art
Efficient Implementation
Logic Programming
Polynomial time
Classical Logic
Propositional Logic
Language
Combinatorial Problems
Paradigm
Analogy
Disjunctive Programming
Methodology
First-order
Modeling
Framework
Prefix
Term
Saturation
Quantifiers
Target
Engineering & Materials Science
Logic programming
Semantics
Technical writing
Specifications
Polynomials
Electric grounding
Communication
High level languages
Schematic diagrams
Knowledge representation
