first-order logic

短语词组

短语

• if first -order logic if一阶逻辑
• first -order modal logic 翻译;一阶模态逻辑
• typed first -order logic 一阶
• classic first -order logic 经典一阶逻辑
• fuzzy first -order logic 模糊一阶逻辑
• the first -order logic 一阶谓词
返回 first-order logic