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