Login / Signup
Anderson De Araújo
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Semantically Equivalent
Causal Reasoning
Model Based Reasoning
Knowledge Representation
Top Venues
Log. J. IGPL
</>
Publications
</>
Anderson De Araújo
,
Walter Alexandre Carnielli
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.
Log. J. IGPL
20 (2) (2012)