Mary DeMarco

ユニフォーム代数と、それがPrologや論理プログラミングで果たす役割についての考察。