Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
كتاب من تأليف: Sutcliffe, Geoff ; Platzer, André ; نشر في: 2023
طبعة:
Cham (Baviere):
Springer
لغة:
إنجليزية
الوصف المادي:
1 vol. (XIV, 650 p.) ill.
ISBN: 9783030798765
الموضوع
الإعلام الآلي
الكلمات الدالة:
Artificial intelligence
automata theory
boolean functions
computer programming
first order logic
formal languages
formal logic
logic programming
