Càlcul de superposició: diferència entre les revisions
Contingut suprimit Contingut afegit
+ == Bibliografia == de https://en.wikipedia.org/wiki/Superposition_calculus |
m neteja i estandardització de codi |
||
Línia 4:
* ''Rewrite-Based Equational Theorem Proving with Selection and Simplification'', Leo Bachmair and Harald Ganzinger, Journal of Logic and Computation 3(4), 1994.
* ''Paramodulation-Based Theorem Proving'', Robert Nieuwenhuis and Alberto Rubio, Handbook of Automated Reasoning I(7), Elsevier Science and MIT Press, 2001.
{{ORDENA:Calcul De Superposicio}} <!--ORDENA generat per bot-->
| |||