Login / Signup
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.
Peter Harry Eidorff
Fritz Henglein
Christian Mossin
Henning Niss
Morten Heine Sørensen
Mads 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