C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Notion of Naturalness in Formal Modeling.
Eduard Kamburjan
Sandro Rama Fiorini
Published in:
The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
</>
real time
mathematical theory
databases
learning algorithm
artificial intelligence
high level
image sequences
wide range
description logics
general theory
formal models