Logique combinatoire — 15 œuvres
← Tous les sujets Logique combinatoire Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
Œuvres classées 15
Période 1971–2016
Seules figurent ici les œuvres que la BNF a explicitement rattachées à ce sujet (vedette RAMEAU du dépôt légal). Beaucoup d'ouvrages concernés n'en portent pas : cette liste n'est pas exhaustive.
Œuvres récentes Titre Auteur(s) Éditeur Année Pages Calculs de signification par une logique d'opérateurs Benoît Sauzay , Gaëll Guibert , Jean-Pierre Desclés CEPADUES-éditions 2016 651 Logique combinatoire et [lambda]-calcul Benoît Sauzay , Gaëll Guibert , Jean-Pierre Desclés CEPADUES-éditions 2016 269 Instruction après instruction Jean-Jacques Mercier Ellipses 2008 174 Séquence après séquence Jean-Jacques Mercier Ellipses 2006 269 Bit après bit Jean-Jacques Mercier Ellipses 2005 307 Logique combinatoire et séquentielle Claude Brie Ellipses 2002 314 La logique combinatoire Jean-Pierre Ginisti Presses universitaires de France 1997 126 Logique combinatoire Centre d'élaboration des moyens et enseignement du Québec , Serge Paquet Eurilor multimédia 1996 254 Langages applicatifs, langues naturelles et cognition Jean-Pierre Desclés impr. Hermes 1990 362 Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs Thérèse Accart Hardin Institut national de recherche en informatique et en automatique 1988 237 Expériences de logique digitale Fernand Huré Éditions techniques et scientifiques françaises 1981 213 Logique et automatisme Daniel Fredon , Henri Mouret , Michel Bridier CEDIC 1980 — Logique et automatisme [1] Daniel Fredon , Henri Mouret , Michel Bridier CEDIC 1980 192 Cours de logique mathématique Tome 2 Roland Fraïssé Gauthier-Villars 1972 177 Cours de logique mathématique Tome 1 Roland Fraïssé Gauthier-Villars 1971 199