Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
631	Sofie De Langhe, Maja Mechant en Isabelle Devos Regionale verschillen in het leven van ongehuwde moeders op het platteland in de Zuidelijke Nederlanden, * Add to Reading List Source URL: www.tseg.nl Language: Dutch - Date: 2011-04-08 03:19:01
632	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:28:46 Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic
633	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
634	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
635	A case-study of design space exploration for embedded multimedia applications on SoCs∗ Isabelle Hurbain, Corinne Ancourt, Franc¸ois Irigoin ´ Ecole des Mines de Paris Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-02-07 05:04:22
636	Isabelle of FRANCE Capetian Sanctity and Franciscan Identity Add to Reading List Source URL: www3.nd.edu Language: English - Date: 2011-04-20 11:08:25 Christianity Louis IX of France Blanche of Castile Philip II of France Isabelle Franciscan Members of the French Royal Families Agnes of Bohemia Isabel House of Capet Nobility Royalty
637	1-COUVERTURE_Mise en page:46 Page1 13, rue hennerParis tel: + www.unifrance.org www.unifrance.org Add to Reading List Source URL: medias.unifrance.org Language: English - Date: 2014-01-08 06:32:43 Henri Jeanson Isabelle Carré French people Nationality France
638	CLIMATE CHANGE LAW IN SOUTHEAST ASIA: RISK, REGULATION AND REGIONAL INNOVATION ISABELLE WHITEHEAD Sydney Law School University of Sydney, Add to Reading List Source URL: ses.library.usyd.edu.au Language: English - Date: 2014-05-14 12:52:59 Climate change Carbon finance Earth Kyoto Protocol Adaptation to global warming Bali Road Map United Nations Climate Change Conference Intergovernmental Panel on Climate Change Global warming Environment United Nations Framework Convention on Climate Change Climate change policy
639	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics
640	Press release CONTACT: Isabelle Peters Prince Albert II of Monaco Foundation Tel: + Add to Reading List Source URL: www.ee-forum.eu Language: English - Date: 2012-11-22 06:06:56 Energy Energy policy Sustainable energy The Climate Group Low-carbon economy Prince Albert II of Monaco Foundation Albert II Prince of Monaco Energy development International Partnership for Energy Efficiency Cooperation Energy economics Monaco Technology

UPDATE