Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).

Erika Ábrahám Pascal Fontaine Thomas Sturm Dongming Wang

Published in: Dagstuhl Reports (2015)

Keyphrases

imperative programs
automated deduction
collaborative e learning
learning algorithm
artificial intelligence
multimedia
expert systems
relational databases