Search results for: Jeremy Gow
IEEE Transactions on Computational Intelligence and AI in Games > 2017 > 9 > 3 > 254 - 266
IEEE Transactions on Computational Intelligence and AI in Games > 2017 > 9 > 2 > 192 - 203
Lecture Notes in Computer Science > Mathematical Knowledge Management > Regular Contributions > 175-187
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 7 > 258-272
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session IV: Proving > 159-173
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Analysis Tools > 201-212
Lecture Notes in Computer Science > Research and Advanced Technology for Digital Libraries > Posters > 532-535
Cognitive Computation > 2016 > 8 > 2 > 153-174
IEEE Transactions on Computational Intelligence and AI in Games > 2012 > 4 > 3 > 152 - 166
Information Processing and Management > 2008 > 44 > 3 > 1374-1392
Information Processing and Management > 2008 > 44 > 1 > 4-21
Journal of Automated Reasoning > 2007 > 39 > 2 > 141-160
Electronic Notes in Theoretical Computer Science > 2006 > 153 > 1 > 3-21
Electronic Notes in Theoretical Computer Science > 2004 > 93 > Complete > 60-69
Annals of Mathematics and Artificial Intelligence > 2003 > 38 > 1-3 > 91-104