Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
911	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
912	Graph minors, decompositions and algorithms (Lecture notes) Jiˇr´ı Fiala Department of Applied Mathematics, Charles University, Prague Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2014-06-02 07:40:12 Graph theory Planar graphs Graph operations Graph minor Pathwidth Treewidth Line graph Outerplanar graph Forbidden graph characterization Homeomorphism Intersection graph RobertsonSeymour theorem
913	TAKE-HOME CLASS QUIZ: DUE MONDAY NOVEMBER 25: STOCHASTIC MATRICES MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE FEEL FREE TO DISCUSS ALL QUESTIONS. Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Matrices Matrix theory Linear algebra Matrix Doubly stochastic matrix Stochastic matrix Invertible matrix PerronFrobenius theorem Determinant
914	Spectral Graph Theory and its Applications September 14, 2004 Lecture 4 Lecturer: Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2005-06-30 12:02:45 NP-complete problems Combinatorial optimization Graph partition Cut Graph Planar separator theorem Hypergraph
915	43 Documenta Math. Planar Graphs as Minimal Resolutions of Trivariate Monomial Ideals Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2002-05-18 12:43:15 Planar graphs Duality Differential geometry of surfaces Circle packing theorem Polyhedral graph Lattice graph Line graph Upward planar drawing 1-planar graph
916	SOME EFFECTIVE RESULTS FOR ×a × b JEAN BOURGAIN, ELON LINDENSTRAUSS, PHILIPPE MICHEL AND AKSHAY VENKATESH In memory of Bill Parry Abstract. We provide effective versions of theorems of Furstenberg and RudolphJohnson r Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2009-02-18 23:51:08 Measure theory Support Dyadic cubes Central limit theorem
917	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
918	Extensive-Form Solution Concepts Page 1 Extensive-Form Solution Concepts Add to Reading List Source URL: www.virtualperfection.com Language: English - Date: 2010-04-18 23:59:19 Game theory Subgame perfect equilibrium Subgame Extensive-form game Information set Solution concept Nash equilibrium Normal-form game Backward induction Strategy Best response Folk theorem
919	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
920	This is a corrected version of the original paper published in the Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence. The changes pertain to Section 4.1, specifically Theorem 1. See the appendi Add to Reading List Source URL: svalbrecht.de Language: English - Date: 2016-01-07 20:52:10 Statistical theory Completeness M-estimator

UPDATE