Similar Listings
Logic Programming and Automated Reasoning: 4th International Con
Logic Programming and Automated Reasoning: 4th International Con
Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...
Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...
Logic Programming and Automated Reasoning : 4th International Con
Logic for Programming and Automated Reasoning : 7th International
Advances in Knowledge Representation, Logic Programming, and ... - 9783319147253
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality