A Resolution Principle for a Logic With Restricted Quantifiers (Lecture Notes in Computer Science / Artificial Intelligence 568)

Quantifiers

by H. J. Burckert

Paperback

ISBN: 978-0-387-55034-3

ISBN-10: 0-387-55034-8

Springer Verlag · 1992

See also (possibly by other authors):
2008TaschenbuchA Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science, Band 568)