Non-standard logics for automated reasoning
- Author
- Philippe Smetset al
- Publisher
- Academic press
- Language
- English
- Year
- 1988
- Page
- 346
- ISBN
- 0126495203,9780126495201
- File Type
- djvu
- File Size
- 2.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot