000 00429nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540474272
100 _aJanis Barzdins, Dines Bjørner
245 0 _aBaltic Computer Science
250 _a1991
260 _bSpringer Berlin Heidelberg
_c1991
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/BFb0019352
999 _c25805
_d25805