- Main
- Computers - Computer Science
- Logique et démonstration automatique :...
Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre
Stéphane Desvismes, Pascal Lafourcade, Michel Lévy你有多喜欢这本书?
下载文件的质量如何?
下载该书,以评价其质量
下载文件的质量如何?
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.
年:
2012
出版:
draft
出版社:
ELLIPSES
语言:
french
页:
143
ISBN 10:
2729872299
ISBN 13:
9782729872298
文件:
PDF, 943 KB
您的标签:
IPFS:
CID , CID Blake2b
french, 2012
在1-5分钟内,文件将被发送到您的电子邮件。
该文件将通过电报信使发送给您。 您最多可能需要 1-5 分钟才能收到它。
注意:确保您已将您的帐户链接到 Z-Library Telegram 机器人。
该文件将发送到您的 Kindle 帐户。 您最多可能需要 1-5 分钟才能收到它。
请注意:您需要验证要发送到Kindle的每本书。检查您的邮箱中是否有来自亚马逊Kindle的验证电子邮件。
正在转换
转换为 失败