A Many-Sorted Calculus Based on Resolution and Paramodulation
- Author
- Christoph Walther
- Publisher
- Morgan Kaufmann
- Language
- English
- Year
- 1987
- Page
- 168
- ISBN
- 0273087185,9780273087182
- File Type
- pdf
- File Size
- 6.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot