Journal of automated reasoning
| Τίτλος | Journal of automated reasoning |
| Συντομογραφία | J. autom. reason. |
| ISSN | 0168-7433 |
| Έτη έκδοσης | 1985- |
| Γλώσσα | Αγγλική |
| Χώρα | Ολλανδία |
| Άλλη έκδοση σε διαφορετικό μέσο | Journal of automated reasoning (Dordrecht. Online) [ISSN 1573-0670] |
| Τίτλος | Journal of automated reasoning |
| Τίτλος κλειδί | Journal of automated reasoning |
| Συντομογραφία | J. autom. reason. |
| ISSN | 0168-7433 |
| Έτη έκδοσης | 1985- |
| Δημοσίευση | Dordrecht ; Reidel |
| Γλώσσα | Αγγλική |
| Χώρα | Ολλανδία |
| Άλλη έκδοση σε διαφορετικό μέσο | Journal of automated reasoning (Dordrecht. Online) [ISSN 1573-0670] |
| UDC Ταξινόμηση | 007.52 [current] |