Constructive Proofs or Constructive Statements?
ISSN: 1862-4405
Datum der Publikation: 2006
Mathematics, Algorithms, Proofs 2005
Ausgabe: 5021
Art: Konferenz-Beitrag
Konferenzberichte:
Dagstuhl Seminar Proceedings