E- text books

Reset

Automated Deduction – CADE-22

Author : Schmidt 

Springer

Access online

Algorithms and Computation

Author : Ibaraki 

Springer

Access online

Algorithms and Computation

Author : Chwa 

Springer

Access online

Algorithms and Computation

Author : Tokuyama 

Springer

Access online

Automated Reasoning

Author : Basin 

Springer

Access online