Constructive Proofs or Constructive Statements?

  1. Rubio, J.
Aktak:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Argitalpen urtea: 2006

Mathematics, Algorithms, Proofs 2005

Alea: 5021

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus