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
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

Informations sur l'ebook
Prix
57,97 €

Suggestions personnalisées