000 00433nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540461807
100 _aAlbert R. Meyer, Michael A. Taitslin
245 0 _aLogic at Botik '89
250 _a1989
260 _bSpringer Berlin Heidelberg
_c1989
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-51237-3
999 _c27447
_d27447