Worth reading

Decision Procedures for Presburger Arithmetic (added Aug 7, 2015)

Wolfram Language (added Dec 18, 2015)
ć
Presburger Arithmetic.ppt
(261k)
Annie Liu,
Aug 7, 2015, 8:31 AM
v.4
Comments