Pages that link to "Q4706277"
Jump to navigation
Jump to search
The following pages link to Alan Bundy (Q4706277):
Displaying 46 items.
- Reuben Goodstein (Q1191771) (← links)
- ZetaLisp (Q3575311) (← links)
- Frank van Harmelen (Q5490605) (← links)
- Toby Walsh (Q7473569) (← links)
- Simon Colton (Q7518501) (← links)
- Predrag Janičić (Q12757770) (← links)
- Lincoln Wallen (Q21463773) (← links)
- The interaction of representation and reasoning (Q28679853) (← links)
- The use of explicit plans to guide inductive proofs (Q29397053) (← links)
- What is a proof? (Q47248347) (← links)
- Linear Predictive Coding (Q56068734) (← links)
- Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing (Q56840177) (← links)
- Rippling: A heuristic for guiding inductive proofs (Q56840271) (← links)
- Experiments with proof plans for induction (Q56840274) (← links)
- Extensions to the rippling-out tactic for guiding inductive proofs (Q56840275) (← links)
- The OYSTER-CLAM system (Q56840276) (← links)
- Explanation-based generalisation = partial evaluation (Q56840277) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version) (Q59474485) (← links)
- Mateja Jamnik (Q62036851) (← links)
- Getting to know your Card (Q62045666) (← links)
- Louise A Dennis (Q80203810) (← links)
- ART (Q101148723) (← links)
- Dave Barker-Plummer (Q102270582) (← links)
- Mary-Angela Papalaskari (s) (Q102302057) (← links)
- Christopher Mellish (Q102302421) (← links)
- Renato Busatto-Neto (Q102302425) (← links)
- Francisco J. Cantú (Q102302426) (← links)
- Roberto Desimone (Q102302433) (← links)
- Ian Frank (Q102302436) (← links)
- Jason Gallagher (Q102302437) (← links)
- Jeremy Gow (Q102302438) (← links)
- Michael Harris (Q102302440) (← links)
- Jane Hesketh (Q102302441) (← links)
- Ina Kraan (Q102302454) (← links)
- Daniel Winterstein (Q102302896) (← links)
- Bernard Silver (Q102307835) (← links)
- Graham Steel (Q102997857) (← links)
- Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) (Q114404249) (← links)
- 3rd Human-Like Computing Workshop (HLC 2022) (Q114404250) (← links)
- User:Daniel Mietchen/Wikidata lists/Items with ORCID (← links | edit)
- User:Magnus Manske/Mix'n'match report/92 (← links | edit)
- User:Zuphilip/dblp-persons-list (← links | edit)
- User:JerryL2017/Fellows of the Royal Society (← links | edit)
- Wikidata:WikiProject Scholia/Listeria/author/English Wikipedia article candidates for Scholia template (← links | edit)
- Wikidata:Wiki-wetenschappers/Universiteit van Amsterdam/album academicum (← links | edit)
- Wikidata:Database reports/Constraint violations/P11182 (← links | edit)