img

تفاصيل البطاقة الفهرسية

Les graphes de démonstration

Outil pour l'étude des démonstrations naturelles

الأطروحات و الكتابات الأكاديمية من تأليف: Kuntzmann, Jean ; Balacheff, Nicolas ; نشر في: 1978

ملخص: Etude des résolutions de problèmes mathématiques par des personnes parvenues au stade hypothético-déductif exprimées par un discours. Présentation d'un outil pour l'étude des raisonnements naturels


طبعة: Grenoble: Universite Scientifique et Médicale de Grenoble
لغة: فرنسية
الوصف المادي: 1 vol. (192 p.) ill. ;21 cm
الشهادة: Docteur de 3eme cycle
مؤسسة مناقشة الرسالة: Institut National Polytechnique de Grenoble
تخصص: Informatique
الفهرس العشري 006.3 .الذكاء الاصطناعي (يعمل بشكل عام على الذكاء الاصطناعي والعلوم المعرفية ، والاعتراف من أشكال كأداة الذكاء الاصطناعي ، أنظمة السؤال والجواب)
الموضوع الإعلام الآلي

الكلمات الدالة:
Graphes, Théorie des
Intelligence artificielle
Démonstration formelle
Comportements heuristiques
Méthode heuristique

ملاحظة: Annexe pp.174-184; Index p.185 Bibliogr.pp.187-191

Les graphes de démonstration

الفهرس