Search




Research outputs

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems   [2015]

Marinković, Vesna  ; Janičić, Predrag  ; Schreck, Pascal

Филтери

По типу