Constructive Proofs or Constructive Statements?
ISSN: 1862-4405
Year of publication: 2006
Mathematics, Algorithms, Proofs 2005
Volume: 5021
Type: Conference paper
ISSN: 1862-4405
Year of publication: 2006
Mathematics, Algorithms, Proofs 2005
Volume: 5021
Type: Conference paper