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

Automated Theorem Proving: A Logical Basis



de

Éditeur :

North Holland


Paru le : 2016-08-19



eBook Téléchargement ebook sans DRM
57,97

Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description
Automated Theorem Proving: A Logical Basis
Pages
418 pages
Collection
n.c
Parution
2016-08-19
Marque
North Holland
EAN papier
9780720404999
EAN PDF SANS DRM
9781483296777

Prix
57,97 €

Suggestions personnalisées