Journal of Automated Reasoning [electronic resource]. (Record no. 48513)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00418nas a2200145Ia 4500 |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| ISSN | 1573-0670 |
| 245 ## - TITLE STATEMENT | |
| Title | Journal of Automated Reasoning [electronic resource]. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher | Springer Netherlands |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://link.springer.com/journal/10817 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | ELECTRONIC JOURNALS |
| 599 ## - | |
| -- | Subscribed |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Serial Enumeration / chronology | Uniform Resource Identifier | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|
| IMSc Library | 1(1);1985 - 41(3);2008 | http://link.springer.com/journal/10817 | ELECTRONIC JOURNALS | Subscribed |