×
  • Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

    N. G. de Bruijn (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read