Old Web
English
Sign In
Acemap
>
Paper
>
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
2018
Nada Sharaf
Slim Abdennadher
Thom Frühwirth
Keywords:
Programming language
Visualization
Propositional calculus
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]