Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research.
DREAMS OF A FINITE THEORY *)
DREAMS OF A FINITE THEORY *) Gabriele Veneziano (CERN-PH/TH & Collège de France) *) Adjusted from Steven Weinberg’s: DREAMS OF A FINAL THEORY.