Nantilus
Logique et langage : déduction naturelle avec exercices interactifs et animés, logiciel LOGIC
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC / Jean-Pierre Desclés, Brahim Djioua, Florence Le Priol |
| Publié : |
[Paris] :
Hermann
, impr. 2010 |
| Description matérielle : | 1 vol. (208 p.) 1 disque optique numérique (CD-R) |
| Contenu : | @LOGIC |
| Contient : | LOGIC |
| Sujets : |
| LEADER | 02235cmm a2200505 4500 | ||
|---|---|---|---|
| 001 | PPN145939871 | ||
| 003 | http://www.sudoc.fr/145939871 | ||
| 005 | 20170901031900.0 | ||
| 010 | |a 978-2-7056-6925-6 |b br. |d 26,50 EUR | ||
| 021 | |a FR |b DLM-20100510-858 | ||
| 035 | |a (OCoLC)793133660 | ||
| 035 | |a FRBNF421956910000003 |z FRBNF42195691 | ||
| 073 | 0 | |a 9782705669256 |b br. | |
| 100 | |a 20100804d2010 k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a z 000yy | ||
| 106 | |a r | ||
| 135 | |a v|||||||||||| | ||
| 200 | 1 | |a Logique et langage |b Multimédia multisupport |e déduction naturelle |e avec exercices interactifs et animés, logiciel LOGIC |f Jean-Pierre Desclés, Brahim Djioua, Florence Le Priol | |
| 210 | |a [Paris] |c Hermann |d impr. 2010 | ||
| 215 | |a 1 vol. (208 p.) |c ill., couv. ill. en coul. |d 22 cm | ||
| 215 | |a 1 disque optique numérique (CD-R) |c coul. |d 12 cm | ||
| 304 | |a La couv. porte en plus : "cours d'initiation à la logique + 1 CD-Rom gratuit d'exercices interactifs et animés" | ||
| 307 | |a Le cédérom doit être commandé séparément à l'aide d'un coupon-réponse joint au livre | ||
| 327 | | | |a @LOGIC | |
| 336 | |a Type de ressource électronique : données textuelles et chiffrées | ||
| 337 | |a Configuration requise : PC. Autre configuration requise : Macintosh | ||
| 464 | | | |t LOGIC | |
| 606 | |3 PPN028594460 |a Déduction (logique) |3 PPN027790517 |x Problèmes et exercices |2 rameau | ||
| 606 | |3 PPN027242196 |a Raisonnement |3 PPN027790517 |x Problèmes et exercices |2 rameau | ||
| 606 | |3 PPN027304582 |a Langage et logique |3 PPN027790517 |x Problèmes et exercices |2 rameau | ||
| 606 | |3 PPN027554546 |a Calcul des propositions |2 rameau | ||
| 606 | |3 PPN027221776 |a Calcul des prédicats |2 rameau | ||
| 686 | |a 405 |2 Cadre de classement de la Bibliographie nationale française | ||
| 700 | 1 | |3 PPN026826852 |a Desclès |b Jean-Pierre |4 070 | |
| 701 | 1 | |3 PPN070266239 |a Djioua |b Brahim |4 070 | |
| 701 | 1 | |3 PPN07102445X |a Le Priol |b Florence |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20120619 |g AFNOR | |
| 801 | 0 | |a FR |b BNF |c 20100510 |g AFNOR |2 intermrc | |
| 930 | |5 441092102:454756631 |b 441092102 |j u | ||
| 930 | |5 441092201:45475681X |b 441092201 |a 160 DES |j g | ||
| 979 | |a LET | ||
| 979 | |a PSY | ||
| 998 | |a 587205 | ||