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] |