Login / Signup

Proving Bounds on Real-Valued Functions with Computations.

Guillaume Melquiond
Published in: IJCAR (2008)
Keyphrases