Tarafından Programlar lausearvutus.sf.net

Öğretmenlerin ya da bir başkasının mantık ifadeleri üzerinde görevleri yerine getirmelerine yardımcı olan bir uygulama. Bu program,, önek ve son ek gösterimleri ve sözdizimi ağacının görüntülenmesi arasındaki dönüşümleri içer