Une aide interactive à la construction de preuves en logique du premier ordre

par Laurent Fallot

Thèse de doctorat en Informat.

Sous la direction de Bruno Courcelle.

Soutenue en 1989

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : pagination multiple

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 89.B-312
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 89.B-312
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.