Contribution à l'analyse de la methode des tableaux

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00340419
2. http://tel.archives-ouvertes.fr/docs/00/34/04/19/PDF/Levy.Michel_1991_these.pdf

Tags

logique du premier ordre

démonstration automatique

méthode des tableaux

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00340419
Date	15 March 1991
Creators	Levy, Michel
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis