Login / Signup
Logic Approach: A Case Study in Highway and Urban Layout.
Claudio Correa
Rodolfo Ipolito Meneguette
Patrícia R. Oliveira
Jó Ueyama
Published in:
Wirel. Commun. Mob. Comput. (2019)
Keyphrases
</>
modal logic
urban areas
urban planning
logic programming
predicate logic
case study
multi valued
classical logic
test bed
digital circuits
formal theory
computational properties
spatial layout
automated reasoning
socio economic
databases
database