Binding skolem clauses in theorem prover resolution for automated hypothetical question answering
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
CIS'09 Proceedings of the international conference on Computational and information science 2009
WSEAS Transactions on Information Science and Applications
Hi-index | 0.00 |