MARC 닫기

• LDR

  01015nam 2200265 k 4500

• 001

  000000665447

• 005

  2051130121000

• 008

  970718s1994 gw 001a eng

• 020

  ▼a  3540582169:
  ▼c  DM72.00

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM128067

• 082

  ▼a  001.642

• 090

  ▼a  001.642
  ▼b  P528l

• 100

  ▼a  Pfenning, Frank.

• 245

  ▼a  Logic programming and automated reasoning:
  ▼b  5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings/
  ▼d  ed. by Frank Pfenning.

• 260

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

• 300

  ▼a  x,344p.;
  ▼c  24cm.

• 440

  ▼a  Lecture notes in artificial intelligence;
  ▼v  822.
  ▼a  Lecture notes in computer science

• 504

  ▼a  Includes index

• 653

  ▼a  LOGIC
  ▼a  PROGRAMMING
  ▼a  AUTOMATED
  ▼a  REASONING

• 911

  ▼a  International conference, LPAR '94.
  ▼n  (5th:
  ▼d  July 16-22 1994:
  ▼c  Kiev, Ukraine)

• 949

  ▼a  Lecture notes in computer science

• 950

  ▼b  \46000

• 965

  ▼a  Logic programming-
  ▼x  congresses

• 965

  ▼a  Automatic theorem proving-
  ▼x  congresses

• 991

  ▼a  단행본

• 090

  ▼a  001.642
  ▼b  P528l