Telecharger Cours

Logitech International SA

It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.



Download