Constructive Proofs or Constructive Statements?

ISSN: 1862-4405

Any de publicació: 2006

Mathematics, Algorithms, Proofs 2005

Volum: 5021

Tipus: Aportació congrés