机读格式显示(MARC)

• 000 01092cam 2200277 a 4500

• 001 0000157916

• 003 CAL

• 005 20060921155400.0

• 008 060921s1989 gw a b 100 0 eng

• 010 __ |a 89011393

• 020 __ |a 3540512373

• 020 __ |a 0387512373 (U.S. : alk. paper)

• 040 __ |a DLC |c DLC |d DLC

• 090 __ |a TP302-532/S989

• 093 __ |a TP302-532 |2 4

• 099 __ |a CAL 022000214415 |a CAL 021999626241 |a CAL 022000894807 |a CAL 022000887760 |a CAL 022000349799

• 111 2_ |a Botik '89 |d (1989 : |c Pereslavl-Zalesskii, R.S.F.S.R.)

• 245 10 |a Logic at Botik '89 : |b symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / |c A.R. Meyer, M.A. Taitslin (eds.).

• 260 __ |a Berlin : |b Springer-Verlag, |c c1989.

• 300 __ |a x, 289 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science ; |v 363

• 504 __ |a Includes bibliographical references.

• 650 _0 |a Computers |v Congresses.

• 650 _0 |a Electronic data processing |v Congresses.

• 650 _0 |a Logic, Symbolic and mathematical |v Congresses.

• 700 1_ |a Meyer, Albert R.