Constructive Proofs or Constructive Statements?

  1. Rubio, J.
Actas:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Ano de publicación: 2006

Mathematics, Algorithms, Proofs 2005

Volume: 5021

Tipo: Achega congreso