Conocimiento y Razonamiento Automático

Todo
chevron_left
chevron_right
21d

apuntes

-

CRA.pdf

APUNTS SOBRE LÒGICA PROPOSICIONAL,DEDUCCIÓ NATURAL, RESOLUCIÓ * I ALGORITME DE D-P. *Pd: el títol m’he equivocat, és resolució no reducció.

personal_bag
1
leaderboard
21