Search Results

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Directed graph coding and its applications in formal logical proof representations.

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

    Published 2017
    Book
    Save to List
    Saved in:
  2. 2
    The theory of reverse proofs

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

    Published 2017
    Book
    Save to List
    Saved in:

Search Tools: