Journal of automated reasoning
Finna-arvio
Journal of automated reasoning
Tallennettuna:
Kieli |
englanti |
---|---|
Huomautukset |
Refereed/Peer-reviewed |
Julkaisija |
[Dordrecht] :
Kluwer Academic Publishers
[Netherlands] : Springer Netherlands |
Luokitus | |
Dewey-luokitus |
511.3 |
Aiheet | |
Muu ilmiasu |
0168-7433 |
Julkaistu |
Print began with vol. 1, no. 1, published in 1985. |
Julkaisutiheys |
Eight issues yearly, 2009- |
ISSN |
1573-0670 |
Huomautukset |
Some issues combined |
Hae kokoteksti |