Rippling - PDFSEARCH.IO - Document Search Engine

Rippling
Results: 71

#	Item
21	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-04-09 17:09:07 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Rippling IsaPlanner Mathematical proof Resolution Unification Mathematical induction Triviality
22	IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-03-10 05:42:39 Automated theorem proving Theoretical computer science Mathematical logic Mathematics IsaPlanner Automated reasoning Isabelle Rippling Mathematical proof Interactive Theorem Proving Theorem Mathematical induction
23	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-10-06 07:21:32 Automated theorem proving Theoretical computer science Mathematics Heuristics Rippling Mathematical logic Lemma Unification
24	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe
25	BRICS BRICS NS-94-2 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-04 07:20:36 Differential equation Problem solving Automated theorem proving Heuristics Rippling
26	Oil and Natural Gas Stimulate Michigan Economic and Job Growth Oil and natural gas are driving the U.S. economy through a major energy boom and that boom is rippling through the economy of Michigan, Add to Reading List Source URL: www.api.org Language: English - Date: 2014-09-12 08:57:45
27	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science
28	FUTURE OF WORK: PEOPLE, PLACE, TECHNOLOGY Twentieth century futurists certainly had a sense – whether of foreboding or optimism – of looming technological disruption, a phenomenon rippling through entire industries a Add to Reading List Source URL: insights.unimelb.edu.au Language: English - Date: 2014-10-17 01:28:28 Management Social philosophy Behavior Organizational behavior Diversity Multiculturalism Skill Workplace bullying Leadership Sociology Business ethics Social psychology
29	AI4FM Rippling Experiment Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Rippling Mathematical logic IsaPlanner Mathematical proof Knowledge Logic Automated theorem proving Mathematics Heuristics
30	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling

UPDATE