Françoise Garcia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1988

1 Françoise Garcia: Étude Et Implémentation D'Un Système De Déduction Pour Logique Algorithmique. ITA 22(1): 57-92 (1988)