N° 44 - Juin 1996
1 - Éditorial
Le jeu et l'informatique
par Edmond Bianco
5 - COMPUTER ASSISTED PROGRAMMING
FOR SYSTOLIC SYTEMS
par David Evans et Salim Ghanemi
13 - EXTENDING THE INDEPENDANCE NOTATION TO THE
FIRST-ORDER FORMULAS FOR THE SATISFIABILITY ENUMERATION
par Habiba Drias
23 - VOUZZAVEDIBISAR
Le président
par Didier Raoult