Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
371	INET published a paper, written by John Kay, that deals with the relationship between economics and the world we live in. The Map Is Not the Territory: An Essay on the State of Economics spells out methodological critiqu Add to Reading List Source URL: ineteconomics.org Language: English - Date: 2011-10-06 15:30:38 The General Theory of Employment Interest and Money Paul Davidson Mainstream economics John Maynard Keynes Economic model Axiom Financial crisis Ergodic theory Efficient-market hypothesis Economics Economic theories Keynesian economics
372	The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2014-07-28 17:33:33 Axiom Z notation Euclidean algorithm Function Algorithm S Mathematics Mathematical logic Software
373	Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:54:40 Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software
374	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
375	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
376	On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank Theiß Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:23 Symbolic computation Mathematics Applied mathematics Algebra Algorithm Mathematical logic Axiom Mathematician Computer Software Computer algebra system Computer science
377	Questions Answered. In Theory. http://cstheory.stackexchange.com∗ Perhaps you’re a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove[21]. Perhaps you’re a mathema Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-11-05 18:41:12 Complexity classes Community websites Mathematical optimization Conjectures P versus NP problem Structural complexity theory Stack Exchange Network NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
378	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical proofs Inductive reasoning Mathematical induction Proof theory Constructible universe Universal quantification String Surreal number Peano axioms Mathematics Mathematical logic Logic
379	MATHEMATICAL MODELS IN RESEARCH ON PERCEPTION AND LEARNING by Richard C. Atkinson TECHNICAL REPORT NO. 43 Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-10-17 20:19:51 Axiom Sampling Theory Set theory S Mathematical logic Mathematics Logic
380	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences

UPDATE