Appleton Tower - PDFSEARCH.IO - Document Search Engine

Appleton Tower
Results: 6

#	Item
1	Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk Add to Reading List Source URL: www.cse.chalmers.se - Date: 2012-03-21 07:53:59
2	An automati translator from KIF to PDDL Fiona M Neill, Alan Bundy, Chris Walton CISA, S hool of Informati s, The University of Edinburgh, Appleton Tower, 11 Cri hton Street, Edinburgh, EH8 9LE, United Kingdom. ff.j.m n Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-09 09:49:11
3	Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-25 09:28:59 Automated theorem proving Heuristics Rippling Economy Money E-commerce IsaPlanner Reference Ripple Mathematical proof Annotation Planner
4	A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-01 07:28:34 Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof
5	System Design Project Final Day 2015 Informatics Forum, 10 Crichton Street, Edinburgh Friday 3 April 2015 Panel Neil Anderson, Farrpoint, Paul Ardin, University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2015-03-20 08:26:49 Informatics Science Knowledge Ethology University of Edinburgh Informatics Forum Appleton Tower
6	Appleton%20Tower%20Guide%20to%20Access.pdf Add to Reading List Source URL: www.baspcan.org.uk Language: English - Date: 2015-03-04 09:05:52 British people Elevator Accessibility Edward Victor Appleton Appleton Tower Informatics University of Edinburgh Science Knowledge