next up previous
Next: Completitud y decidibilidad Up: No Title Previous: Modus Ponens generalizado

Encadenamiento hacia delante y encadenamiento hacia atrás



Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996