مؤلف: Matthieu Journault

الدعم

1 كتب إلكترونية بواسطة Matthieu Journault

Mathieu Jaume & Matthieu Journault: Logique pour l”informatique
Cet ouvrage débute par une i ntroduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avan …
PDF
فرنسي
DRM
€36.03