Books
Popular
Lists
Blog
About
Log In
Join Free
Home
/
Books
/
Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science, 568)
1991