img

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

Live data structures in logic programs

derivation by means of abstract interpretation

كتاب من تأليف: Mulkers, Anne ; نشر في: 1993


طبعة: New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: viii, 220 p. ill. ;24 cm
ISBN: 0387566945
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Programmation logique
Types abstraits de données (informatique)
Structures de données (informatique)

Live data structures in logic programs

الفهرس