Déduction avec contraintes et simplification dans les théories équationnelles

par Christelle Scharff

Thèse de doctorat en Informatique

Sous la direction de Claude Kirchner.

Soutenue en 1999

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XIV-242 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 223-233. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.