Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

Author(s)

• International Conference AISMC
• Calmet, Jacques
• Campbell, John A.

Bibliographic Information

Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

Jacques Calmet, John A. Campbell (eds.)

（Lecture notes in computer science, 737）

Springer-Verlag, c1993

• : us
• : gw

Note

Includes bibliographical references

Details

• NCID: BA21101473
• ISBN:
  • 0387573224
  • 3540573224
• LCCN: 93036465
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Heidelberg ; New York
• Pages/Volumes: 305 p.
• Size: 25 cm
• Classification:
  • LCC : Q334
  • DC20 : 006.3
• Subject Headings:
  • LCSH : Artificial intelligence -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00009279