[(Logic for Computer Science : Foundations of Automatic Theorem Proving)] [By (author) Jean Gallier] published on (June, 2015) par Jean Gallier

[(Logic for Computer Science : Foundations of Automatic Theorem Proving)] [By (author) Jean Gallier] published on (June, 2015)

Titre de livre: [(Logic for Computer Science : Foundations of Automatic Theorem Proving)] [By (author) Jean Gallier] published on (June, 2015)

Éditeur: Dover Publications Inc.

Auteur: Jean Gallier


* You need to enable Javascript in order to proceed through the registration flow.

Jean Gallier avec [(Logic for Computer Science : Foundations of Automatic Theorem Proving)] [By (author) Jean Gallier] published on (June, 2015)