PL1
Skočit na navigaci
Skočit na vyhledávání
čeština[editovat]
zkratka[editovat]
- iniciálová
význam[editovat]
- predikátová logika 1. řádu
- Víme, že pro PL1 existují kalkuly, které mají z hlediska automatizace jisté velice pěkné vlastnosti.