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