A Many-sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation
| Author | : Manfred Schmidt-Schauss |
| Publisher | : |
| Total Pages | : 42 |
| Release | : 1985 |
| ISBN-10 | : OCLC:46081186 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis A Many-sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation by : Manfred Schmidt-Schauss
Download or read book A Many-sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation written by Manfred Schmidt-Schauss and published by . This book was released on 1985 with total page 42 pages. Available in PDF, EPUB and Kindle. Book excerpt:
