MARC 닫기

• LDR

  00936nam 2200253 k 4500

• 001

  000000665444

• 005

  2051130121000

• 008

  970718s1994 gw a 000a eng

• 020

  ▼a  3540581405:
  ▼c  DM80.00

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM128064

• 082

  ▼a  001.64

• 090

  ▼a  001.64
  ▼b  N449l

• 100

  ▼a  Nerode, A.

• 245

  ▼a  Logical foundations of computer science/
  ▼d  edited by A. Nerode;
  ▼e  Yu. V. Matiyasevich.

• 260

  ▼a  Berlin:
  ▼b  Springer-Verlag,
  ▼c  1994.

• 300

  ▼a  ix,392p.:
  ▼b  ill.;
  ▼c  24cm.

• 440

  ▼a  Lecture notes in computer science;
  ▼v  813

• 500

  ▼a  Third international symposium LFCS '94 St. Petersburg, Russia, July 1994 proceedings

• 504

  ▼a  Includes bibliographical references and index

• 653

  ▼a  LOGICAL
  ▼a  FOUNDATIONS
  ▼a  COMPUTER
  ▼a  SCIENCE
  ▼a  LECTURE
  ▼a  NOTES

• 700

  ▼a  Matiyasevich, Yu.V.,
  ▼e  jt,

• 911

  ▼a  International symposium LFCS '94.
  ▼n  (3rd:
  ▼d  1994:
  ▼c  St. Petersburg, Russia)

• 950

  ▼b  \51200

• 991

  ▼a  단행본

• 090

  ▼a  001.64
  ▼b  N449l