Analysis and synthesis of logics: How to cut and paste reasoning systems
- Author
- Gouveia, PaulaConiglio, MarceloSernadas, CristinaCarnielli, WalterGabbay, Dov M
- Publisher
- Springer Science+Business Media B.V
- Language
- English
- Year
- 2008
- Page
- 612
- ISBN
- 978-1-4020-6782-2,1402067828,978-1-4020-6781-5
- File Type
- pdf
- File Size
- 2.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot