ODEL - PDFSEARCH.IO - Document Search Engine

ODEL
Results: 129

#	Item
31	5Q§E§~i essentielle "Der Odel der Hiere und (Chen = & Add to Reading List Source URL: www.atmasuisse.ch Language: German - Date: 2010-06-27 09:06:20
32	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval
33	Ley O rgânica de la A dm inistraci6n Pliblica,N oG .0 .N odel 14 de agosto deEL C O N G R ESO N A CIO NA L En N om bre dela R epéblica L ey N o Add to Reading List Source URL: map.gob.do Language: Spanish - Date: 2013-07-02 15:30:29
34	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2010-11-17 13:56:05 Guggenheim Fellows Mathematical logic Cognitive science Materialism Mechanism Naturalism George Boolos Logic Modal logic Mathematical proof Solomon Feferman Contradiction
35	A detailed overview of available models A L IST OF M ODELS AVAILABLE IN THE M ACROECONOMIC M ODEL DATA BASE (V ERSION 2.0, 59 MODELS ) 1. S MALL C ALIBRATED M ODELS 1.1 Add to Reading List Source URL: www.macromodelbase.com Language: English - Date: 2016-01-15 07:34:35 Keynesian economics New classical macroeconomics Unemployment Demand New Keynesian economics Macroeconomics Phillips curve Inflation Aggregate demand Aggregate supply ISLM model Dynamic stochastic general equilibrium
36	G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-08-31 12:29:01 Mathematics Mathematical analysis Operator theory Computability theory Arithmetic function Primitive recursive function Ergodic theory Hilbert space Theoretical physics Spectral theory of ordinary differential equations Differential forms on a Riemann surface
37	A L IST OF M ODELS AVAILABLE IN THE M ACROECONOMIC M ODEL DATA BASE ( VERSION 2.0, 61 MODELSS MALL C ALIBRATED M ODELS (14 MODELS ) Add to Reading List Source URL: www.macromodelbase.com Language: English Economics Macroeconomics Economy New Keynesian economics Dynamic stochastic general equilibrium Macroeconomic model Inflation targeting Journal of Economic Dynamics and Control Nominal rigidity
38	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier
39	Metalogic Part II G¨ odel’s Remarkable Theorem Presenter: Errol Martin Metalogic Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-19 22:49:12
40	P OTTICS - T HE P OTTS T OPIC M ODEL FOR S EMANTIC I MAGE S EGMENTATION 1 2 Add to Reading List Source URL: fam-dann.de Language: English - Date: 2015-03-29 16:48:38

UPDATE