Browsing "PSNZ Collections" by Subject Automatic theorem proving.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1991 | A resolution principle for a logic with restricted quantifiers | Bürckert, H. J. (Hans-Jürgen) |
Issue Date | Title | Author(s) |
---|---|---|
1991 | A resolution principle for a logic with restricted quantifiers | Bürckert, H. J. (Hans-Jürgen) |