Visning af: Proof Mining: A Systematic Way of Analysing Proofs in Mathematics

Tilbage til artikeldetaljer Proof Mining: A Systematic Way of Analysing Proofs in Mathematics Download Download PDF