Journal of Automated Reasoning
| Format: | Elektronski Revija |
|---|---|
| Jezik: | English |
| Izdano: |
Springer Netherlands
|
| Online dostop: | Full text available on Springer Off-campus access |
Podobne knjige/članki
-
Automated Reasoning
Izdano: (2022) -
Automated Reasoning and Mathematics
Izdano: (2013) -
Automated Reasoning with Analytic Tableaux and Related Methods
Izdano: (2013) - Reason
- Reason