Advertisement

The char-set method and its applications to automated reasoning

  • Wu Wen-Tsün
Invited Lecture
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1249)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Wu Wen-Tsün
    • 1
  1. 1.Mathematics Mechanization Research CenterInstitute of Systems Science Academia SinicaBeijingPeople's Republic of China

Personalised recommendations