345 Alexander Steen, Extensional Paramodulation for Higher-Order Logic and its ... (online) 1https://en.wikipedia.org/wiki/I_before_E_except_after_C ...
確定! 回上一頁