Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
931	Contents Part One xvii xix Conference Committee Add to Reading List Source URL: www.icdip.org Language: English - Date: 2016-06-21 06:36:16 Mathematical logic Mereology Ontology Predicate logic Wayne B. Nottingham Prize John K. Fairbank Prize
932	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
933	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
934	A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Logic Philosophy Abstraction Bayesian statistics Markov networks Reasoning Model theory Semantics Probabilistic soft logic Markov logic network Probabilistic logic Statistical relational learning
935	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom
936	1 TE What is Philosophy of Religion? Add to Reading List Source URL: media.wiley.com Language: English - Date: 2016-08-08 13:17:16 Logic Arguments Philosophy Religion Premise Validity Existence of God Ontological argument Teleological argument
937	Portugal and the EU’s Eastern Enlargement: A logic of identity endorsement Add to Reading List Source URL: internationale.politik.uni-mainz.de Language: English - Date: 2013-02-08 06:13:20 Europe Afro-Eurasia Frank Schimmelfennig Enlargement of the European Union Europeanisation Enlargement Future enlargement of the European Union European integration European Union Eastern Partnership European Economic Community
938	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
939	Social Group Modeling with Probabilistic Soft Logic Bert Huang, Stephen H. Bach, Eric Norris, Jay Pujara, Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742 Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Computing Logic Philosophy Web 2.0 Twitter Social media Computer jargon Knowledge representation Probabilistic soft logic Hashtag Twitter usage First-order logic

UPDATE