Similar Listings
Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...
Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...
Frank Pfenning Logic Programming and Automated Reasoning (Paperback) (UK IMPORT)
Advances in Knowledge Representation, Logic Programming, and ... - 9783319147253
Advances in Knowledge Representation, Logic Programming, and Abstract Argumen...
Advances in Knowledge Representation, Logic Programming, and Abstract Argumen...
Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality