F0L syetem

📖 中文释义

1. [计] 带有限公理集的林氏无关系统