Sign in

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).

Erika ÁbrahámPascal FontaineThomas SturmDongming Wang
Published in: Dagstuhl Reports (2015)
Keyphrases
  • imperative programs
  • automated deduction
  • collaborative e learning
  • learning algorithm
  • artificial intelligence
  • multimedia
  • expert systems
  • relational databases