| 000 | 00418nas a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 151114c99999999xx |||||||||||| ||und|| | ||
| 022 | _a1573-0670 | ||
| 245 | _aJournal of Automated Reasoning [electronic resource]. | ||
| 260 | _bSpringer Netherlands | ||
| 362 | _a1(1);1985 - 41(3);2008 | ||
| 599 | _aSubscribed | ||
| 786 | _dSpringer | ||
| 856 | 4 | 0 | _uhttp://link.springer.com/journal/10817 |
| 942 |
_2EJLS5504 _cEJLS |
||
| 999 |
_c48513 _d48513 |
||