Constructive Proofs or Constructive Statements?

  1. Rubio, J.
Actas:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Año de publicación: 2006

Mathematics, Algorithms, Proofs 2005

Volumen: 5021

Tipo: Aportación congreso