ملخص: Preuves de programmes et intelligence artificielle. Types. Syntaxe: état du langage, analyse syntaxique, extensions, inférence, apprentissage, performance de l'analyse syntaxique. Sémantique déductive. Utilisation-prolongements.

طبعة: Grenoble: Institut National Polytechnique de Grenoble
لغة: فرنسية
الوصف المادي: 1 vol. ([8]-179 p.) ill. ;21 cm
الشهادة: Docteur Es Sciences
مؤسسة مناقشة الرسالة: Institut National Polytechnique de Grenoble
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Langage de spécifications
programmation assistée par ordinateur
Sciences appliquées :Informatique

ملاحظة: Annexe pp.159-173; Bibliogr.pp.174-179