MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Daniel Winterstein" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • unknown title  
  • by Daniel Winterstein, Alan Bundy, Corin Gurr
  • … Using Animation in Diagrammatic Theorem Proving Daniel Winterstein 1 , Alan Bundy 1 , Corin…
  • Add To MetaCart
  • Evaluating machine creativity  
  • by Alison Pease, Daniel Winterstein, Simon Colton, Alison Pease, Daniel Winterstein, Simon Colton, Alison Pease, Daniel Winterstein, Simon Colton — 2001 — In Workshop on Creative Systems, 4th International Conference on Case Based Reasoning
  • …, Daniel Winterstein, Simon Colton Informatics Research Report EDI-INF-RR-0054 Division of Informatics…
  • Cited by 12 (2 self) – Add To MetaCart
  • Evaluating Machine Creativity  
  • by Alison Pease Daniel, Daniel Winterstein, Simon Colton — 2001 — In Workshop on Creative Systems, 4th International Conference on Case Based Reasoning
  • …Evaluating Machine Creativity Alison Pease, Daniel Winterstein, Simon Colton Division…
  • Add To MetaCart
  • Dr.Doodle: A Diagrammatic Theorem Prover  
  • by Daniel Winterstein Alan, Alan Bundy, Corin Gurr — 2004 — In Proceedings of The International Joint Conference on Automated Reasoning, LNCS
  • …Dr.Doodle: A Diagrammatic Theorem Prover Daniel Winterstein, Alan Bundy & Corin Gurr Edinburgh…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB