机读格式显示(MARC)
- 000 00496nam2 2200181 4500
- 020 __ |a 3-540-54487-9 |c ¥27.50
- 245 1_ |a Computer Sceince Logic : Proceedings |c CSL'90 (1990 : 4th : heidelberg ) |g |A COMPUTER |F CSLTHHEI
- 260 __ |a London |b Springer-Verlag |c 1991
- 700 _0 |a CSL'90 (1990 : 4th : heidelberg ) |A CSLTHHEI |4 著
- 905 __ |a HIEL |d TP302.2/C2