1
Assuntos:
“...Multiple conclusion...”
Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
Tese