Logic-Based Program Synthesis and Transformation
31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
كتاب من تأليف: Vanhoof, Wim ; De Angelis, Emanuele ; نشر في: 2022
طبعة:
Cham:
Springer International Publishing
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783030988692
الفهرس العشري
006.3 .الذكاء الاصطناعي (يعمل بشكل عام على الذكاء الاصطناعي والعلوم المعرفية ، والاعتراف من أشكال كأداة الذكاء الاصطناعي ، أنظمة السؤال والجواب)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Artificial intelligence
computer programming
Computer systems
logic programming
formal logic
distributed computer systems
logic-based program development
object-oriented programming
parallel processing systems