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

Autor:	Scharff, Christelle
Přispěvatelé:	Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Henri Poincaré - Nancy 1, Claude Kirchner, UL, Thèses, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Jazyk:	francouzština
Rok vydání:	1999
Předmět:	[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH] Parallélisme (informatique) Équations Théorèmes -- Démonstration automatique [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] Théorie des Théorie de la démonstration Déduction (logique) Contraintes (intelligence artificielle)
Zdroj:	Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 1999. Français. ⟨NNT : 1999NAN10271⟩
Popis:	Non disponible / Not available
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33279f82cdb12c11d35386c5722ba1c8 https://hal.univ-lorraine.fr/tel-01747107 Zobrazit plný text záznamu