Search Results - Senarathne, W. Raj A. De Z.

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Directed graph coding and its applications in formal logical proof representations. by Senarathne, W. Raj A. De Z.

    Published 2017
    Book
  2. 2

    The theory of reverse proofs by Senarathne, W. Raj A. De Z.

    Published 2017
    Book
  3. 3