Thèse de doctorat en Informat.
Sous la direction de Bruno Courcelle.
Soutenue en 1989
à Bordeaux 1 .
Le systeme formel implante s'inspire de la deduction naturelle, s'approchant de l'ecriture des preuves dans un texte mathematique courant. Les resultats prouves peuvent etre sauvegardes et utilises ulterieurement comme regles d'inference pour d'autres preuves
An interactive help with proofs construction in first order logic
Pas de résumé disponible.