Las siguientes páginas enlazan a A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution:
Ver (previas 50 | siguientes 50) (20 | 50 | 100 | 250 | 500).Ver (previas 50 | siguientes 50) (20 | 50 | 100 | 250 | 500).