Home›Browse›منطق درخت محاسباتی🌐فارسیEnglishDeutschFrançaisPolskiPortuguêsفارسی한국어中文日本語EntityQ1040040· pop 8· linked from 31 articlesمنطق درخت محاسباتیSign in to saveAlso known as CTL, Branching Time Logictheory in computer scienceAvailable in 8 languagesDeutsch日本語PortuguêsGreekPolskiفارسی한국어via Wikidata sitelinks · CC0