Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
681	Jean-Louis Trintignant Emmanuelle Riva with the participation of Isabelle Huppert Add to Reading List Source URL: www.sonyclassics.com Language: English - Date: 2012-11-20 16:02:06 The Piano Teacher Caché Isabelle Huppert Michael Haneke The White Ribbon Lars von Trier filmography Film Cinema of France Cannes Film Festival
682	Report from Dagstuhl Seminar[removed]AI meets Formal Software Development Edited by Alan Bundy1 , Dieter Hutter2 , Cliff B. Jones3 , and Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-10-05 02:45:26 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Automated reasoning ACL2 Formal verification Isabelle Theoretical computer science Mathematical software Automated theorem proving
683	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
684	Isabelle Wolf, Towards Sustainable Tourism in Outback Australia: The Behaviour and Impact of Nature-based Tourists on Vegetation and Selected Wildlife Species. The University of New South Wales Supervised by Dr. David Add to Reading List Source URL: www.crctourism.com.au Language: English - Date: 2010-01-04 19:15:12 Marketing Ecotourism Ecology Outdoor recreation Recreation ecology Australian Aboriginal culture Sustainable tourism Tourism Visitor management Types of tourism Human behavior Personal life
685	Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 Computing Formal verification Isabelle Formal specification Microkernel Haskell B-Method L4 microkernel family Proof assistant Formal methods Theoretical computer science Applied mathematics
686	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
687	Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨ Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-06-02 05:55:58 Automated theorem proving Logical syntax Functional languages Proof assistant Isabelle Theorem prover Coq Mathematical proof IP Software Logic Theoretical computer science
688	Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling IsaPlanner Mathematical proof Formal methods Theorem Formal proof Isabelle Logic Automated theorem proving Mathematics
689	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
690	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-21 11:45:28 Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic

UPDATE