Journal of automated reasoning
| Formato: | Revista digital |
|---|---|
| Idioma: | Inglés |
| Publicado: |
[Dordrecht] :
Kluwer Academic Publishers
[Netherlands] : Springer Netherlands |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009596999206719 |
| Publicado: | Print began with vol. 1, no. 1, published in 1985. |
|---|---|
| Notas: | Refereed/Peer-reviewed |
| Frecuencia de Publicación: | Eight issues yearly, 2009- |
| ISSN: | 15730670 |
