The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem Documento uri icon

  •  
  • Visão geral
  •  
  • Pesquisas
  •  
  • Identidade
  •  
  • Ver todos
  •