|
|||||
|
|
Special issue on automated deduction: Decidability,complexity, tractability |
|
| Authors: | Silvio Ghilardi Viorica Sofronie-Stokkermans Ulrike Sattler Ashish Tiwari |
| Affiliation: | 1. Università degli Studi di Milano, Italy;2. Max-Planck-Institut für Informatik, Saarbrücken, Germany;3. University of Manchester, United Kingdom;4. SRI International, United States |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |