MARC 닫기

• LDR

  00863nam 2200241 k 4500

• 001

  000000665446

• 005

  2051130121000

• 008

  970718s1995 ne a 000a eng

• 020

  ▼a  044820922:
  ▼c  Dfl.250.00

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM128066

• 082

  ▼a  001.642

• 090

  ▼a  001.642
  ▼b  B422l

• 100

  ▼a  Beierle, Christoph.

• 245

  ▼a  Logic programming:
  ▼b  formal methods and practical applications/
  ▼d  ed. by Christoph Beierle;
  ▼e  Lutz Plumer.

• 260

  ▼a  Amsterdam:
  ▼b  Elsevier,
  ▼c  1995.

• 300

  ▼a  xiv,404p.:
  ▼b  ill.;
  ▼c  25cm.

• 440

  ▼a  Studies in computer science and artificial intelligence;
  ▼v  11

• 504

  ▼a  Includes bibliographical references

• 653

  ▼a  LOGIC
  ▼a  PROGRAMMING
  ▼a  FORMAL
  ▼a  METHODS
  ▼a  PRACTICAL
  ▼a  APPLICATIONS
  ▼a  COMPUTER
  ▼a  SCIENCE
  ▼a  ARTIFICIAL
  ▼a  INTELLIGENCE

• 700

  ▼a  Plumer, Lutz,
  ▼e  jt,

• 950

  ▼b  \142500

• 965

  ▼a  Logic Programming

• 991

  ▼a  단행본

• 090

  ▼a  001.642
  ▼b  B422l