Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

Author(s)

• IJCAR
• Goré, Rajeev
• Leitsch, Alexander
• Nipkow, Tobias

Bibliographic Information

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

（Lecture notes in computer science, 2083 . Lecture notes in artificial intelligence）

Springer, c2001

Note

Includes bibliographies and index

Details

• NCID: BA52405290
• ISBN:
  • 3540422544
• LCCN: 01041144
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xv, 708 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A96
• Subject Headings:
  • LCSH : Automatic theorem proving -- Congresses
  • LCSH : Computer logic -- Congresses
• Parent Bibliography ID:
  • BA00009279