Historial

Càlcul de superposició

20 jul 2018

Jose2
sense resum d'edició
m
10:50
+10

8 oct 2012

30 març 2011

29 març 2011

Jose2
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...».
15:04
+721

Obtingut de «https://www.lenciclopedia.org/wiki/Especial:History/Càlcul_de_superposició»