Strani, ki se povezujejo na »HOL theorem prover family«

Pojdi na navigacijo Pojdi na iskanje
Kaj se povezuje sem
⧼whatlinkshere-whatlinkshere-target⧽
⧼whatlinkshere-whatlinkshere-ns⧽
⧼whatlinkshere-whatlinkshere-filter⧽

S stranjo HOL theorem prover family se povezujejo naslednje strani:

Prikazan je 1 predmet.

Prikazujem (prejšnjih 50 | naslednjih 50) (20 | 50 | 100 | 250 | 500).
Prikazujem (prejšnjih 50 | naslednjih 50) (20 | 50 | 100 | 250 | 500).
Pridobljeno iz »https://sl.wiki.beta.math.wmflabs.org/wiki/Posebno:KajSePovezujeSem/HOL_theorem_prover_family«