LEADER 01052oam  2200289z- 450 
001 996465772503316
005 20080308084212.0
035   $a(CKB)1000000000233849
035   $a(EXLCZ)991000000000233849
100   $a20210330c1992uuuu  -u-            -
101 0 $aeng
200 00$aLogical foundations of computer science--Tver '92 $esecond international symposium, Tver, Russia, July 20-24, 1992 proceedings /$fA. Nerode, M. Taitslin (eds.)
210   $cSpringer Berlin Heidelberg
311   $a3-540-55707-5 
606   $aComputers$xCongresses
606   $aElectronic data processing$xCongresses
606   $aLogic, Symbolic and mathematical$xCongresses
615  0$aComputers$xCongresses.
615  0$aElectronic data processing$xCongresses.
615  0$aLogic, Symbolic and mathematical$xCongresses.
676   $a004
701   $aNerode$b Anil$048991
701   $aTaitslin$b Mikhail A$01220932
906   $aBOOK
912   $a996465772503316
996   $aLogical Foundations of Computer Science ? Tver '92$92830401
997   $aUNISA