Login / Signup
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two.
Mohsen Khani
Published in:
Arch. Math. Log. (2015)
Keyphrases
</>
first order logic
logic rules
real world
image processing
search algorithm
real time
case study
digital libraries
information technology
inter agent