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