MARC 닫기

• LDR

  01058nam 2200277 k 4500

• 001

  000000671449

• 005

  2051130121000

• 008

  970929s1996 gw a 000a eng

• 020

  ▼a  3540612548:
  ▼c  DM62.00

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM128763

• 082

  ▼a  511.3

• 090

  ▼a  511.3
  ▼b  H638h

• 245

  ▼a  Higher-order algebra, logic, and term rewriting/
  ▼d  by Gilles Dowek ...[et al.].

• 260

  ▼a  Berlin:
  ▼b  Springer,
  ▼c  1996.

• 300

  ▼a  287p.:
  ▼b  illus.;
  ▼c  24cm.

• 440

  ▼a  Lecture notes in computer science;
  ▼v  v.1074

• 500

  ▼a  Second international workshop, HOA '95, Paderborn, Germany, September 21-22,1995: selected papers

• 504

  ▼a  Includes bibliographical references

• 653

  ▼a  HIGHER
  ▼a  ORDER
  ▼a  ALGEBRA
  ▼a  LOGIC
  ▼a  TERM
  ▼a  REWRITING

• 700

  ▼a  Dowek, Gilles,
  ▼e  etc,

• 711

  ▼a  International workshop on higher-order algebra
  ▼n  (2nd:
  ▼d  1995:
  ▼c  Paderborn Germany)

• 950

  ▼b  \33800

• 965

  ▼a  Rewriting systems (computer science)-
  ▼x  congresses

• 965

  ▼a  Algebra-
  ▼x  congresses

• 965

  ▼a  Logic, symbolic and mathematical-
  ▼x  congresses

• 991

  ▼a  단행본

• 090

  ▼a  511.3
  ▼b  H638h