tech.htm (11/10/1999)

MATIEREMathématiques
CDU510.6 : Logique Mathématique
CDLea1.102 : Auto-évaluation
TITREProblèmes liés à l'ordre des quantificateurs

AUTEURSEquipe Mathématique du SEMM de l'USTL
DUREEXXX min.
QUANT1
VALIDATION11/10/99

PRODUCTEquipe Technique Bordeaux I
VERSIONB1.0

CONSULTNS4, IE4
CADRESOUI
JAVASCRIPT1.2
PLUGINS-

ENTREEindex.htm
TAILLE180 Ko
FICHIERS70
DOSSIERS5

LOGICIELSNotepad++ 1.4
Paint Shop Pro 5
MathType 4