Ókeypis
Ókeypis
Overview Kerfiskröfur Reviews Related

Lýsing

Proof generator and proof checker for propositional logic in "natural deduction" style.

Skjámyndir

Ítarlegri upplýsingar

Útgefið af

Jukka Häkkinen

Höfundarréttur

Jukka Häkkinen

Útgáfudagur

6.1.2017

Áætluð stærð

19,07 MB

Aldursflokkun

Fyrir 3 ára og eldri


Uppsetning

Sæktu þetta forrit eftir að hafa skráð þig inn á Microsoft-reikninginn þinn og settu það upp á allt að tíu Windows 10-tækjum.

Þessi vara þarf að vera sett upp á harða diskinum.

Tungumál stutt

English (United States)


Viðbótarskilmálar

Færsluskilmálar

Tilkynna þessa vöru

Skráðu þig inn til að tilkynna þetta forrit til Microsoft