Journal of automated reasoning
Finna rating
Journal of automated reasoning
Saved in:
Language |
English |
---|---|
Item Description |
Refereed/Peer-reviewed |
Publisher |
[Dordrecht] :
Kluwer Academic Publishers
[Netherlands] : Springer Netherlands |
Classification | |
Dewey Classification |
511.3 |
Subjects | |
Additional form |
0168-7433 |
Publish date |
Print began with vol. 1, no. 1, published in 1985. |
Publication Frequency |
Eight issues yearly, 2009- |
ISSN |
1573-0670 |
Notes |
Some issues combined |
Get full text |