On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.

Urszula Wybraniec-Skardowska

Published in: Axioms (2019)

Keyphrases

floating point
real numbers
decision procedures
database
real time
face recognition
expert systems
special case
automated reasoning
artificial systems
integer valued