Automated Deduction - CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
كتاب من تأليف: Sutcliffe, Geoff ; Platzer, André ; نشر في: 2021
طبعة:
Cham:
Springer International Publishing
لغة:
إنجليزية
ISBN: 9783030798765
الفهرس العشري
006.3 .الذكاء الاصطناعي (يعمل بشكل عام على الذكاء الاصطناعي والعلوم المعرفية ، والاعتراف من أشكال كأداة الذكاء الاصطناعي ، أنظمة السؤال والجواب)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Mathematical logic
Computer logic
Artificial intelligence
Software engineering
Computer sciences
Machine theory
