Constructive Proofs or Constructive Statements?

  1. Rubio, J.
Actes de conférence:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Année de publication: 2006

Mathematics, Algorithms, Proofs 2005

Volumen: 5021

Type: Communication dans un congrès