Heuristics used by HERBY for semantic tree theorem proving

Annals of Mathematics and Artificial Intelligence 1998 / 11 Vol. 23; Iss. 3-4

Heuristics used by HERBY for semantic tree theorem proving

Qingxun Yu, Mohammed Almulla, Monroe Newborn
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
23
Language:
english
Pages:
20
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1023/a:1018976510663
Date:
November, 1998
File:
PDF, 237 KB
english, 1998
Conversion to is in progress
Conversion to is failed