MARC 닫기

• LDR

  01059nam 2200265 k 4500

• 001

  000000671062

• 005

  2051130121000

• 008

  951205s1995 uk a f 001a eng

• 020

  ▼a  0-19-853791-3:
  ▼c  ￡65.00

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM120793
  ▼v  4

• 082

  ▼a  001.535

• 090

  ▼a  001.535
  ▼b  G112h
  ▼c  v.4

• 100

  ▼a  Gabbay, Dov M.

• 245

  ▼a  Handbook of logic in artificial intelligence and logic programming, v.4/
  ▼d  ed. by Dov M. Gabbay;
  ▼e  C.J. Hogger;
  ▼e  J.A. Robinson.
  ▼n  vol.4:
  ▼p  epistemic and temporal reasoning.

• 260

  ▼a  Oxford:
  ▼b  Clarendon Press,
  ▼c  1995.

• 300

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

• 490

  ▼a  Handbooks of logic in computer science and artificial intelligence and logic programming

• 504

  ▼a  Includes references and index

• 653

  ▼a  HANDBOOK
  ▼a  LOGIC
  ▼a  ARTIFICIAL
  ▼a  INTELLIGENCE
  ▼a  PROGRAMMING
  ▼a  COMPUTER
  ▼a  SCIENCE
  ▼a  EPISTEMIC
  ▼a  TEMPORAL
  ▼a  REASONING

• 700

  ▼a  Hogger, C.J.,
  ▼e  ed. jt,

• 700

  ▼a  Robinson, J.A.,
  ▼e  ed. jt,

• 740

  ▼a  Epistemic and temporal reasoning

• 950

  ▼b  \100700

• 965

  ▼a  Artificial intelligence

• 991

  ▼a  단행본

• 090

  ▼a  001.535
  ▼b  G112h