Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
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.
| Hermès science publications |
| 2004 |
| 288 |
| JFPLC'97 | Frédéric Benhamou, Journées francophones de programmation logique et programmation par contraintes (06 ; 1997 ; Orléans), Laboratoire d'informatique fondamentale. Orléans | impr. Hermes | 1997 | 291 |
| JFPLC 96 | Jean-Louis Imbert, Journées francophones de programmation logique et programmation par contraintes (05 ; 1996 ; Clermont-Ferrand) | impr. Hermes | 1996 | 301 |
| Programmation logique par contraintes | François Fages | Ellipses | 1996 | 183 |
| Logique temporelle | Luis Fariñas del Cerro, Patrice Enjalbert, Éric Audureau | Masson | 1990 | 234 |
| Fondements de la programmation logique | John Wylie Lloyd, Violaine Thibau | Eyrolles | 1988 | 219 |