Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Livre Ecrit par: Sutcliffe, Geoff ; Platzer, André ; Publié en: 2023
Edition:
Cham (Baviere):
Springer
Langue:
Anglais
Collation:
1 vol. (XIV, 650 p.) ill.
ISBN: 9783030798765
Thème
Informatique
Mots clés:
Artificial intelligence
automata theory
boolean functions
computer programming
first order logic
formal languages
formal logic
logic programming
