Alan Bundy (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Alan Bundy" in English language version.

refsWebsite

Global rank English rank

5ed.ac.uk

1,871^st place

1,234^th place

3wikidata.org

43^rd place

161^st place

3doi.org

2^nd place

3handle.net

102^nd place

76^th place

2worldcat.org

5^th place

2web.archive.org

1^st place

2acm.org

1,185^th place

840^th place

1scholar.google.com

1,697^th place

1,040^th place

1mathgenealogy.org

4,501^st place

3,002^nd place

1ukwhoswho.com

1,450^th place

814^th place

1dblp.org

low place

1scopus.com

low place

1semanticscholar.org

11^th place

8^th place

1le.ac.uk

5,357^th place

3,654^th place

1bl.uk

1,234^th place

779^th place

1raeng.org.uk

low place

1hp.com

3,975^th place

2,687^th place

1thegazette.co.uk

200^th place

141^st place

1royalsociety.org

2,415^th place

2,060^th place

acm.org

dl.acm.org

Alan Bundy author profile page at the ACM Digital Library

awards.acm.org

ACM Fellows 2014

bl.uk

ethos.bl.uk

Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

dblp.org

Alan Bundy at DBLP Bibliography Server

doi.org

Anon (2015). "Bundy, Prof. Alan Richard". Who's Who (online Oxford University Press ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U9391. (Subscription or UK public library membership required.)
Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.
Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748. S2CID 7169278.

ed.ac.uk

homepages.inf.ed.ac.uk

http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website

dream.inf.ed.ac.uk

http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group

pure.ed.ac.uk

Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.

inf.ed.ac.uk

Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.

research.ed.ac.uk

"Alan Bundy". research.ed.ac.uk. Retrieved 7 September 2021.

handle.net

hdl.handle.net

Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.
Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748. S2CID 7169278.
Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

hp.com

"HP Press Release: HP Selects 41 Professors for Innovation Research Awards".

le.ac.uk

lra.le.ac.uk

Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.

mathgenealogy.org

Alan Bundy at the Mathematics Genealogy Project

raeng.org.uk

"List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.

royalsociety.org

"Professor Alan Bundy CBE FREng FRS". London: Royal Society. Archived from the original on 5 November 2015.

scholar.google.com

Alan Bundy publications indexed by Google Scholar

scopus.com

Alan Bundy publications indexed by the Scopus bibliographic database. (subscription required)

semanticscholar.org

api.semanticscholar.org

Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748. S2CID 7169278.

thegazette.co.uk

"No. 60009". The London Gazette (Supplement). 31 December 2011. p. 7.

ukwhoswho.com

Anon (2015). "Bundy, Prof. Alan Richard". Who's Who (online Oxford University Press ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U9391. (Subscription or UK public library membership required.)

web.archive.org

"List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.
"Professor Alan Bundy CBE FREng FRS". London: Royal Society. Archived from the original on 5 November 2015.

wikidata.org

Alan Bundy publications indexed by Google Scholar
Alan Bundy at the Mathematics Genealogy Project
Alan Bundy at DBLP Bibliography Server

worldcat.org

search.worldcat.org

Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.
Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029.