Pretraga




Rezultati

Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs   [2013]

Stojanović Đurđević, Sana  

Filteri

Po tipu