Automated Reasoning with Analytic Tableaux and Related Methods
| Другие авторы: | |
|---|---|
| Формат: | Электронный ресурс eКнига |
| Язык: | English |
| Опубликовано: |
Springer Berlin Heidelberg,
2013
|
| Редактирование: | 1 |
| Предметы: | |
| Online-ссылка: | Full text available on Springer Off-campus access |