Title: Automated Reasoning 4th International Joint Conference Proceedings
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Automatic theorem proving, Congresses, Computer logic