خرید و دانلود نسخه کامل کتاب Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre /// (Version Complétée de l'UE UGA INF402 Année 2020/2021)

منطق و تظاهرات اتوماتیک - مقدمه ای بر منطق گزاره و منطق مرتبه اول /// (نسخه کامل EU UGA INF402 سال 2020/2021)

Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre /// (Version Complétée de l'UE UGA INF402 Année 2020/2021)

نویسنده: Lafourcade Pascal, Levy Michel, Devismes Stéphane

سال انتشار: 2012

تعداد صفحات: 148

زبان: French

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 764 کیلوبایت