1 results Refine Results
  1. 1
    by Burckert, H.-J (Hans-Jurgen)
    Published 1991
    Book
    Save to List
    Saved in:
    A resolution principle for a logic with restricted quantifiers /

Search Tools: