2 books • 1 series
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning (Advances in Formal Methods, #3)