Title: Frontiers of Combining Systems
Subjects: Constraint, Entscheidungsproblem, Mathematische Logik, Congrès, MATHEMATICS, Computer science, Logic, Infinity, Logique mathématique, Informatique, Logique symbolique et mathématique, Symbolic and mathematical Logic, Lineare Optimierung, Deduktionssystem, Résolution de problème, Automatisches Beweisverfahren, Congresses, Computeralgebra, Artificial intelligence