000 | 00314nam a2200121Ia 4500 | ||
---|---|---|---|
008 | 241230s9999||||xx |||||||||||||| ||und|| | ||
020 | _a3211826009 | ||
100 |
_aPfalzgraf, Jochen _9101734 |
||
245 | 0 | _aAutomated Practical Reasoning | |
260 |
_bSpringer-Verlag _aNew York _c1995 |
||
300 | _a223p. | ||
942 | _cBK | ||
999 |
_c264178 _d264178 |