Télécharger le livre :  Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis

Editeur : North Holland
Parution : 2016-08-19
PDF sans DRM

57,97

Téléchargement immédiat
Dès validation de votre commande