Title: Frontiers of combining systems
Subjects: Informatik, Symbolic and mathematical Logic, Problemlösen, Künstliche Intelligenz, Automatisches Beweisverfahren, Congresses, Computer science, Logik, Programmierlogik, Logic design, Artificial intelligence, Software engineering, Computer software, Logic, symbolic and mathematical