  |
Items where Author is "Brown, C.E."
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionZombori, Zsolt and Urban, J. and Brown, C.E. (2020) Prolog Technology Reinforcement Learning Prover: (System Description). In: 10th International Joint Conference on Automated Reasoning, IJCAR 2020. Springer, pp. 489-507. ISBN 9783030510534 |
