Logic for exact real arithmetic.

Helmut Schwichtenberg Franziskus Wiesnet

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

real life
brute force
neural network
micron cmos
databases
data mining
genetic algorithm
logic programming
modal logic
floating point
exact solution
logical framework