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