Journal of Automated Reasoning
| Định dạng: | Điện tử Tạp chí |
|---|---|
| Ngôn ngữ: | English |
| Được phát hành: |
Springer Netherlands
|
| Truy cập trực tuyến: | Full text available on Springer Off-campus access |
Những quyển sách tương tự
-
Automated Reasoning
Được phát hành: (2022) -
Automated Reasoning and Mathematics
Được phát hành: (2013) -
Automated Reasoning with Analytic Tableaux and Related Methods
Được phát hành: (2013) - Reason
- Reason