Design of a parallel theorem prover for first order logic

Wen Tsuen Chen, Tzren Ru Chou, Kuen Rong Hsieh, Huai Jen Liu

研究成果: 書貢獻/報告類型會議論文篇章

指紋

深入研究「Design of a parallel theorem prover for first order logic」主題。共同形成了獨特的指紋。

Engineering & Materials Science