000 00225nam a2200085Ia 4500
008 231114s9999 xx 000 0 und d
020 _a0130654876
090 _a005.13 HAM
245 0 0 _aLogic and language models for computer science
999 _c32163
_d32163