E- text books

Reset

Automated Deduction – CADE-19

Author : Baader 

Springer

Access online

Automated Reasoning

Author : Peltier 

Springer

Access online

An Easy Path to Convex Analysis and Applications

Author : Mordukhovich 

Morgan & Claypool

Access online