Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
281	SCRIPTA MANENT ...written words endure Publishing Computational Mathematics Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-12-15 12:45:30 Applied mathematics Computer algebra Axiom Algorithm Risch algorithm Computational mathematics Computer algebra system Algorithm characterizations Mathematics Software Theoretical computer science
282	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.axiom-developer.org Language: English - Date: 2014-07-28 17:33:33 Axiom Z notation Euclidean algorithm Function Algorithm S Mathematics Mathematical logic Software
283	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
284	backlit \| plex signs AXIOM Build + Print Sign Company, NYC info@theaxnyc \| backlit \| plex signs AXIOM Build + Print Sign Company, NYC Add to Reading List Source URL: theaxnyc.com - Date: 2011-11-10 17:56:47
285	DIMENSIONAL LETTERS Design We either produce a layout based on your measurements and photos or we follow your architectual specifications. Fabrication We carefully rout, laser-cut, or water-jet cut or form your lettering Add to Reading List Source URL: theaxnyc.com Language: English - Date: 2011-11-14 15:41:38 Science Axiom Laser Technology
286	[hal, v1] Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:05:43 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
287	AXIOM WIDE FORMAT PRINTING Design We create or adapt layouts from your files including photos, logos and text. We work with you to find the best materials and processes for your specific needs. Add to Reading List Source URL: theaxnyc.com Language: English - Date: 2011-11-16 11:19:56 Technology Computer printers Printer Typography Océ Prepress Printing Office equipment Media technology
288	Syndetic Models and Gestural Interaction Giorgio P. Faconti, Angelo Fornari CNR - CNUCE Via S.Maria 36, I-56126, Pisa, Italy e-mail: Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:31 Computing Virtual reality Gesture recognition Gesture Axiom OBJ Mouse User interface Interaction technique User interface techniques Software Humanâ€“computer interaction
289	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
290	Manuscript Theory And Tests Of The Conjoint Commutativity Axiom For Additive Conjoint Measurement✩ Duncan Luce, Ragnar Steingrimsson∗ Institute for Mathematical Behavioral Sciences, University of California, Irvine Add to Reading List Source URL: www.imbs.uci.edu Language: English* - Date: 2014-11-04 13:01:46 Measurement Science Scale Level of measurement Ring Polynomial conjoint measurement Psychometrics Statistics Theory of conjoint measurement

UPDATE