Translate

Showing posts with label A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science (568)). Show all posts
Showing posts with label A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science (568)). Show all posts