| DaftarIsitemplate |
| Call Number |
| SEM-275 |
| Title |
| Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11 |
| Author |
| I.S. Torsun; L.M. Newnham; |
| Publisher |
| Proceedings of the seventeenth IASTED Int. Conference: applice informatatics, Innsbruck, Austria, Feb. 15-18, 1999 |
| Subject |
| Theorem proving, first oder logic, Heuristics |
| Location |