Sign in
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Erika Ábrahám
James H. Davenport
Matthew England
Alberto Griggio
Published in:
Dagstuhl Reports (2022)
Keyphrases
</>
imperative programs
automated deduction
learning technologies
collaborative e learning
database systems
artificial intelligence
intelligent systems
action recognition
distance learning
deductive databases
theorem proving