| Document Date: 2003-04-29 07:49:46 Open Document File Size: 25,77 KBShare Result on Facebook
City Torun / / Company ESPRIT / Computer Laboratory / / Facility Cambridge University / Copernicus University / / Organization Cambridge University / Copernicus University / / Person Sara Kalvala / Jacob Frost / / Position Paulson Mechanizing Set Theory The Generic Proof Assistant / / ProgrammingLanguage Prolog / C / / Technology dom / /
SocialTag |