Märt - PDFSEARCH.IO - Document Search Engine

Märt
Results: 2567

#	Item
961	PT 5 POST TOUR THAILAND TRAVEL MART PLUSTTM +) Discover Gems of the East : Bangkok – Pattaya - BangkokJUNE 2015 Saturday, June 06, 2015 Add to Reading List Source URL: thailandtravelmartplus.com Language: English - Date: 2015-04-10 11:58:37 Thai art Bay of Bangkok Chonburi Province Pattaya Sanctuary of Truth Thailand Lek Viriyaphant Bangkok Gulf of Thailand Provinces of Thailand Asia
962	At Wal-Mart, we believe what’s good for the environment can be good for business too. We’ve taken the concept of affordable sustainability to another level by bringing customers our Every Day Low Prices on resource-f Add to Reading List Source URL: walmartwatch.com Language: English - Date: 2011-01-20 02:30:44 Marketing Sustainable business Asda Hypermarket Audit committee Criticism of Walmart Walmart Business Economy of the United States
963	1 PT 6 POST TOUR THAILAND TRAVEL MART PLUSTTM +) A glory of two cities 6-10 June 2015 Add to Reading List Source URL: thailandtravelmartplus.com Language: English - Date: 2015-04-10 11:58:44 Buddhism in Laos Pakbeng Nan Thailand Phra Bang Wat Luang Prabang Province Asia Luang Prabang Buddhism
964	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
965	MFPSSemi-decidability of may, must and probabilistic testing in a higher-type setting Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-12 05:48:53 Denotational semantics Logic in computer science Model theory Structure Μ operator Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
966	The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-17 04:04:56 Sheaf theory Topos Constructivism Continuous function Topological space Category of topological spaces Set theory Universe Intuitionistic type theory Topology Mathematics General topology
967	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-10 03:10:32 Computability theory Function Primitive recursive function Principia Mathematica Knaster–Tarski theorem Mathematics Functions and mappings Mathematical logic
968	The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK 4FTW, June 2012, Ljubljana, Slovenia Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-19 08:18:06 Category of topological spaces Trivial topology Topos Continuous function Grothendieck topology Discrete space Homotopy Topology General topology Topological space
969	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science
970	Sequential Games and Optimal Strategies ´ and Paulo Oliva By Mart´ın Escardo University of Birmingham, Birmingham B15 2TT, UK Queen Mary University of London, London E1 4NS, UK This article gives an overview of recent Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-28 12:00:26 Quantification Functions and mappings Predicate logic Function Universal quantification Continuous function Constructible universe FO Nash equilibrium Mathematics Logic Mathematical analysis

UPDATE