000 | 00747nam a2200217Ia 4500 | ||
---|---|---|---|
008 | 131122s9999 xx 000 0 und d | ||
020 | _a0-387-55707-5 | ||
040 | _aISI KOLKATA | ||
041 | _aEnglish | ||
082 |
_a5.131 _bIn61(92) |
||
100 | _aNerode A | ||
110 | _aInternational Symposium on Logical Foundations of Computer Science( 2nd : 1992 : Tver,Russia ) | ||
111 |
_aInternational Symposium on Logical Foundations of Computer Science 2nd _cTver, Russia _d1992 |
||
245 | _aLogical foundations of computer science : proceedings | ||
260 |
_aBerlin _bSpringer Verlag _c1992 |
||
300 | _aix,514p | ||
440 | _aLecture notes in computer science, v 620 | ||
650 | _aComputer science | ||
650 | _aSymbolic logic | ||
942 | _cBK | ||
999 |
_c108768 _d108768 |