img

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

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

Logic-Based Program Synthesis and Transformation

الفهرس