MARC 닫기

• LDR

  01091nam 2200289 k 4500

• 001

  000000674288

• 005

  2051130121000

• 008

  970203s1995 ge a 000a eng

• 020

  ▼a  3-540-593381-1:
  ▼c  DM78.00

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM126000

• 082

  ▼a  001.642

• 090

  ▼a  001.642
  ▼b  B348t

• 100

  ▼a  Baumgartner, peter.

• 245

  ▼a  Theorem proving with analytic tableaux and related methods/
  ▼d  Peter Baumgartner;
  ▼e  Reiner Hahnle;
  ▼e  Joachim Posegga.

• 260

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

• 300

  ▼a  x,352p.:
  ▼b  ill.;
  ▼c  24cm.

• 440

  ▼a  Lecture notes in artificial intelligence;
  ▼v  v.918

• 500

  ▼a  4th international workshop, TABLEAUX '95 Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

• 653

  ▼a  THEOREM
  ▼a  PROVING
  ▼a  ANALYTIC
  ▼a  TABLEAUX
  ▼a  RELATED
  ▼a  METHODS

• 700

  ▼a  Hahnle, Reiner,
  ▼e  jt,

• 700

  ▼a  Posegga, Joachim,
  ▼e  jt,

• 711

  ▼a  TABLEAUX '95
  ▼d  (1995 :
  ▼c  Sankt Goar, Germany)

• 949

  ▼a  Lecture notes in computer science

• 950

  ▼b  \50700

• 965

  ▼a  Nonclassical mathematical logic

• 965

  ▼a  Logic, symboic and mathematical

• 991

  ▼a  단행본

• 090

  ▼a  001.642
  ▼b  B348t