A Many-Sorted Calculus Based on Resolution and Paramodulation
by Christoph Walther
- Publisher: Morgan Kaufmann
-
Print ISBN: 9780273087182, 0273087185
-
eText ISBN: 9781483258935, 1483258939
- Copyright year: 1987
We use cookies to provide a better browsing experience for all. By using this site, you agree to our use of cookies. Learn more… |
We use cookies to provide a better browsing experience for all. By using this site, you agree to our use of cookies. Learn more…
by Christoph Walther