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 |