First Page | Document Content | |
---|---|---|
Date: 2013-04-04 00:32:32 | AI over Large Formal Knowledge Bases: The First Decade Josef Urban ICIS, RU Nijmegen Abstract: In March 2003, the first version of the Mizar Problems for Theorem Proving (MPTP) was released. In the past ten years, such lAdd to Reading ListSource URL: staff.computing.dundee.ac.ukDownload Document from Source WebsiteFile Size: 66,58 KBShare Document on Facebook |