Nantilus
Calculs de signification par une logique d'opérateurs
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Calculs de signification par une logique d'opérateurs / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay |
| Publié : |
Toulouse :
Cépaduès-éditions
, DL 2016 |
| Description matérielle : | 2 vol. (651 p.) |
| Comprend : | Vers une logique d'opérateurs - vol. 1 Concepts et schèmes analysés par la logique combinatoire - vol. 2 |
| Sujets : | |
| Documents associés : | En relation avec:
Logique combinatoire et [lambda]-calcul Ces deux tomes constituent le volume II d'une réflexion sur la logique d'opérateurs, rédigé par les mêmes auteurs. Volume I sur le même thème : "Logique combinatoire et -calcul : des logiques d'opérateurs" ISBN : 978-2-36493-530-3 |
| LEADER | 01893cam a2200409 4500 | ||
|---|---|---|---|
| 001 | PPN199535175 | ||
| 003 | http://www.sudoc.fr/199535175 | ||
| 005 | 20230710130900.0 | ||
| 010 | |a 978-2-36493-575-4 |b édition complète |d 65 EUR | ||
| 035 | |a (OCoLC)999850484 | ||
| 073 | 0 | |a 9782364935754 | |
| 100 | |a 20170321h20162016k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 RDAfrCarrier | |
| 200 | 1 | |a Calculs de signification par une logique d'opérateurs |f Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay | |
| 214 | 0 | |a Toulouse |c Cépaduès-éditions |d DL 2016 | |
| 215 | |a 2 vol. (651 p.) |c ill., couv. ill. en coul. |d 24 cm | ||
| 311 | |a Ces deux tomes constituent le volume II d'une réflexion sur la logique d'opérateurs, rédigé par les mêmes auteurs. Volume I sur le même thème : "Logique combinatoire et -calcul : des logiques d'opérateurs" ISBN : 978-2-36493-530-3 | ||
| 320 | |a Bibliographie p. [607]-636. Notes bibliographiques. Index | ||
| 463 | | | |t Vers une logique d'opérateurs |v 1 | |
| 463 | | | |t Concepts et schèmes analysés par la logique combinatoire |v 2 | |
| 488 | | | |0 191906778 |t Logique combinatoire et [lambda]-calcul |o des logiques d'opérateurs |f Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay |d 2016 |c Toulouse |n Cépaduès-éditions |p 1 vol. (269 p.) |y 978-2-36493-530-3 | |
| 606 | |3 PPN027430677 |a Logique combinatoire |2 rameau | ||
| 606 | |3 PPN027326489 |a Linguistique |x Informatique |2 rameau | ||
| 700 | 1 | |3 PPN026826852 |a Desclès |b Jean-Pierre |4 070 | |
| 701 | 1 | |3 PPN076494438 |a Guibert |b Gaëll |4 070 | |
| 701 | 1 | |3 PPN176275355 |a Sauzay |b Benoit |f 1969-.... |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20171121 |g AFNOR | |
| 930 | |5 441092104:588178454 |b 441092104 |j u | ||
| 998 | |a 776674 | ||