E- text books

Reset

Interactive Theorem Proving

Author : Eekelen 

Springer

Access online

Introduction to Logic

Author : Genesereth 

Springer

Access online

Integrated Formal Methods

Author : Albert 

Springer

Access online

Il paniere degli alimenti

Author : Vanotti 

Springer

Access online

Intelligent Tutoring Systems

Author : Micarelli 

Springer

Access online