The following pages link to (Q4530463):
Displaying 6 items.
- A note on proofs with graphs (Q955713) (← links)
- Man-machine theorem proving in graph theory (Q1104124) (← links)
- Calculational proofs in relational graphical linear algebra (Q2038024) (← links)
- Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999) (Q2726302) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- (Q5463211) (← links)