ODEL - PDFSEARCH.IO - Document Search Engine

ODEL
Results: 129

#	Item
121	Om Flyvesandets Ødel æggelser i Thy. Af S. C. Sortfeldt. Add to Reading List Source URL: www.thistedmuseum.dk Language: Danish - Date: 2004-08-03 14:28:12
122	The G¨odel Prize 2010 Laudatio for S. Arora and J.S.B. Mitchell The G¨odel Prize 2010 is awarded to Sanjeev Arora and Joseph S.B. Mitchell Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2010-06-16 06:52:36 Complexity classes Sanjeev Arora Polynomial-time approximation scheme Travelling salesman problem Approximation algorithm PTAS NP APX Joseph S. B. Mitchell Theoretical computer science Computational complexity theory Applied mathematics
123	Microsoft Word - odel.doc Add to Reading List Source URL: www.for.auth.gr Language: Greek - Date: 2013-09-03 14:52:21
124	2008 G¨odel Prize Citation The 2008 G¨ Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2009-11-03 08:49:32 Mathematics Mathematical optimization Analysis of algorithms Operations research Smoothed analysis Daniel Spielman Linear programming Shang-Hua Teng Algorithm Theoretical computer science Applied mathematics Computational complexity theory
125	Chapter 15 Mode Split In t h is ch a pt er , t h e t h ir d m odelin g st ep in t h e crim e t r a vel dem a n d m odel is Add to Reading List Source URL: www.icpsr.umich.edu Language: English - Date: 2010-07-30 14:08:30 Language Orthography English orthography Speech Assessment Methods Phonetic Alphabet chart for English English phonology Latin alphabets Linguistics
126	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Mathematical constructivism Model theory Predicate logic Formal languages Interpretation Realizability First-order logic Gödel–Gentzen negative translation Prenex normal form Logic Mathematical logic Proof theory
127	G¨ odel, Church, Russell: ricercando punti fissi Add to Reading List Source URL: www.disi.unige.it Language: Italian - Date: 2004-05-11 10:42:41
128	Filosofia della matematica Anno[removed]Il programma di Hilbert, e G¨odel[removed]) Add to Reading List Source URL: homepage.sns.it Language: Italian - Date: 2012-02-15 10:58:06
129	2009 Godel Prize The 2009 G¨odel Prize for outstanding papers in the area of theoretical computer Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2009-11-03 08:49:42 Salil Vadhan Zig-zag product Expander graph Omer Reingold Avi Wigderson Gödel Prize SL Connectivity Graph Graph theory Theoretical computer science Mathematics

UPDATE