Hoare logic for GOLOG programs
ABI
Аннотация
grantor: University of Toronto
Мавзулар
Иқтибослар ва манбалар
0 та иқтибос16 та фойдаланилган манба
Кўрсаткичлар — AkademScholar · Тез орада
Маҳсулотлар
Ишлаб чиқувчилар учун
AkademBaseтез орадаЭкотизим учун очиқ APIСарлавҳа, аннотация ва исмлар қайси ёзувда кўрсатилсин
grantor: University of Toronto