Skip to main navigation Skip to search Skip to main content

A Set Theory Prover in Theorema

Activity: Talk or presentation › Contributed talk › unknown

Period20 Feb 2001
Event titleCAL Workshop at EUROCAST'01
Event typeConference
LocationSpainShow on map

Fields of science

  • 101 Mathematics

Related content