Peirce and Proof: A View from the Trees.

Published in: Diagrams (2018)

Keyphrases

decision trees
multiple views
theorem proving
multi view
theorem prover
data structure
query processing
d objects
tree structure
tree construction
tree models