Retractinga (Nonmonotonic) Justification

R37 (IN)

N1 (IN)

N3 (IN)

N2 (OUT)

R37 (IN)

N1 (OUT)

N3 (OUT)

N2 (IN)

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica