000 00455nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540472766
100 _aAnil Nerode, Mikhail Taitslin
245 0 _aLogical Foundations of Computer Science - Tver '92
250 _a1992
260 _bSpringer Berlin Heidelberg
_c1992
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/BFb0023857
999 _c26901
_d26901