Calcul différentiel pour les langues de la logique : théorie et applications

Zapisane w:
Opis bibliograficzny
1. autor: Thayse, André, 1940-
Format: Livre papier
Język:Français
Wydane: Paris : Hermès science publ. : Lavoisier impr. 2004, cop. 2004.
Hasła przedmiotowe:
Autres localisations: Voir dans le Sudoc
LEADER 00879nam a22002177a 4500
001 208260
008 040528t20042004xxe ||| |||| 00| 0 fre d
009 PPN07869101X
020 |a 2746209055 (br.) :  |c 60 EUR 
024 |a 9782746209053 
041 0 |a fre  |f fre 
082 |a 511.3 
100 1 |a Thayse, André,  |d 1940- 
245 1 0 |a Calcul différentiel pour les langues de la logique :  |b théorie et applications   |c André Thayse. 
260 |a Paris :  |b Hermès science publ. :  |b Lavoisier,  |c impr. 2004, cop. 2004. 
300 |a 1 vol. (222 p.) :  |b Ill. ;  |c 24 cm. 
504 |a Bibliogr. p. [207]-216. Index 
650 |a Informatique  |x Mathématiques 
650 |a Calcul différentiel 
650 |a Logique symbolique et mathématique 
997 |0 208260  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, 511.3 THA