×
  • Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings

    Ryuzo Hasegawa

Click on cover to enlarge.
Buy This Book
From Amazon.