Automated reasoning :

  • Publisher: Springer
  • Print ISSN:
  • Electronic ISSN:
  • OCLC Number: 244102512
  • Subject: Automatic theorem proving Congresses.
  • Subject code: QA
  • Publication history: 1st (June 18-23, 2001)-

Print Holdings

Archiving Institution Program Holdings Description Retention
HathiTrust (HATHI) HTDL 2001; 2004 permanent