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