×
  • Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]

    Yevgeny Kazakov

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