Login / Signup

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.

Peter Harry EidorffFritz HengleinChristian MossinHenning NissMorten Heine SørensenMads Tofte
Published in: TLCA (1999)
Keyphrases
  • genetic algorithm
  • cooperative
  • pairwise
  • practical significance
  • database
  • real world
  • information retrieval
  • preprocessing
  • viewpoint
  • control system
  • management system
  • multiple types