- Promo !
 |
Du mardi au samedi : 10h à 13h et de 14h à 19h
Le dimanche : 10h à 13h |
 |
13 bis et 16 rue du Maréchal Foch 44210 Pornic |
 |
Librairie généraliste : 09 86 42 34 46 |
|
Librairie BD - MangasJeux de société : 09 83 32 47 80 |
Logique pour l'informatique
Neuf
EAN : 9782340042612 - Auteur : Jaume - Editeur : ELLIPSES - Nb de pages : 0 - Cet ouvrage débute par une introduction à la logique des prédicats du premier o...
Cet ouvrage débute par une introduction à 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 avancés : théorème de complétude théor&
Neuf
Commentaires (0)
Aucun avis n'a été publié pour le moment.
EAN : 9782340042612 - Auteur : Jaume - Editeur : ELLIPSES - Nb de pages : 0 - Cet ouvrage débute par une introduction à la logique des prédicats du premier o...