E- text books

Reset

Automated Deduction – CADE-19

Author : Baader 

Springer

Access online

Asymptotic Analysis II —

Author : Verhulst 

Springer

Access online