Etude et implémentation en ML/LCF d'un système de déduction pour logique algorithmique

par Françoise Garcia

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Cousineau.

Soutenue en 1985

à Paris 7 .


  • Résumé

    Contribution aux problèmes de validation du logiciel et d'implémentation de systèmes de preuve. Une première partie est consacrée à l'étude d'une logique des programmes, une seconde a la mise en œuvre d'un outil logiciel d'aide à la déduction dans ce système formel

  • Titre traduit

    Study and implementation in ml/lcf of a deduction system for the algorithmic logic


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination mult.)
  • Annexes : Bibliogr. 3 p.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Consultable sur place dans l'établissement demandeur
  • Cote : TS (1985) 119
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.