000 00564nam a2200169Ia 4500
999 _c18682
_d18682
008 161214s9999 xx 000 0 und d
020 _a9780769501581
_cpbk
082 _a004
_bIEE
100 _aIEEE Computer Society
245 0 _aLogic in Computer Science
260 _aNew York:
_bIEEE Computer Society,
_c1999
300 _a478 p.;
_b:
_c27 cm.
365 _aINR
_b7196.00
650 _aFourteenth Annual IEEE Symposium on Logic in Computer Science
650 _aSymbolic
650 _aLogic in Computer Science
942 _2ddc
_cBK