Constructive Proofs or Constructive Statements?
ISSN: 1862-4405
Año de publicación: 2006
Mathematics, Algorithms, Proofs 2005
Volumen: 5021
Tipo: Aportación congreso
ISSN: 1862-4405
Año de publicación: 2006
Mathematics, Algorithms, Proofs 2005
Volumen: 5021
Tipo: Aportación congreso