Anar al contingut

Historial de revisió de "Càlcul de superposició"

Selecció de diferències: marca els selectors de les versions a comparar i pulsa enter o el botó d'avall.
Llegenda: (act) = diferències en la versió actual, (ant) = diferències en la versió anterior, m = edició menor

20 jul 2018

8 oct 2012

30 març 2011

29 març 2011

  • actant 15:0415:04 29 març 2011 Jose2 Discussió contribucions 721 bytes +721 Pàgina nova, en el contingut: «El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la lògica equacional de primer orde. Es va dessarrollar en la d...».