Automated deduction in multiple-valued logics
- Author
- Reiner Hähnle
- Publisher
- Clarendon Press; Oxford University Press
- Language
- English
- Year
- 1993
- Page
- 177
- ISBN
- 9780198539896,0198539894
- File Type
- pdf
- File Size
- 816.3 KiB
How to Download?!!!
Just click on START button on Telegram Bot