Analytic - PDFSEARCH.IO - Document Search Engine

Analytic
Results: 7504

#	Item
411	NSP2 Pragmatism, metaphysics and culture Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:11:00 Philosophical movements Philosophy of science Empiricism American philosophers Pragmatists Naturalized epistemology Willard Van Orman Quine Joseph Margolis Pragmatism Analytic philosophy Logical positivism Epistemology
412	BALKAN JOURNAL OF PHILOSOPHY Vol. 2, Issue 2, 2010 C O NT E N T S Add to Reading List Source URL: www.issk-bas.org Language: English - Date: 2011-06-21 02:40:40 Analytic philosophers Balan Ioan Biris Paul Gochet Commensurability Baciu Logar Protagoras Sergiu Category of being Aneta
413	Series transformations to improve and extend convergence G.A. Kalugin and D.J. Jeﬀrey The University of Western Ontario, Department of Applied Mathematics, London, Ontario, Canada Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2010-05-28 12:05:15 Special functions Analytic functions Lambert W function Symbol Holomorphic functional calculus Polylogarithm
414	14s IEEE TRANSACTIONS ON SYSTEMS, MAN. AND CYBERNETICS. LO1 Wohl. J. G. “Maintainability prediction revisited: Diagnostic behavior. system complexity, and repair time,” I E E E Tram. S-vst. Marl Q h e r n . , Add to Reading List Source URL: debut.cis.nctu.edu.tw Language: English Curves Analytic geometry Conic sections Parabolas Intersection Generalised Hough transform Inverse curve Envelope
415	29 Royalwrd.doc Last corrected Oct 22, 1999 FILE NAME: royalwrd.doc DIRECTORY: kermit98 LAST CORRECTED: Oct. 22, 1999 FIRST Add to Reading List Source URL: socrates.berkeley.edu Language: English - Date: 2004-08-31 21:59:41 Belief Thought Philosophy of technology Epistemology Ontology Analytic philosophy Philosophy Metaphysics Reality Philosophical progress Consciousness Mind
416	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
417	Arithmetic on Abelian and Kummer varieties Notes of a talk given for the Lfant Algorithmic Number Theory Seminar — Bordeaux. Based on earlier talks given in Grenoble and Caen. Abstract. In this talk we give an outline Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-05-29 11:53:40 Operator theory Differential geometry Analytic number theory Elliptic curve Group theory Torsion tensor Divisor Differential forms on a Riemann surface Table of stars with Bayer designations
418	Instructor James Pearson, TOPICS IN ANALYTIC PHILOSOPHY(PHILProfile Subunit: Name of the instructor: Name of the course: Add to Reading List Source URL: jamesjpearson.files.wordpress.com Language: English - Date: 2012-09-29 11:12:42
419	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
420	Film-PhilosophyInterpreting Disturbed Minds: Donald Davidson and The White Ribbon James Pearson1 Michael Haneke’s The White Ribbon (Das weisse Band, 2009) offers an Add to Reading List Source URL: jamesjpearson.files.wordpress.com Language: English - Date: 2012-09-29 11:23:29 Philosophy of language Analytic philosophers American philosophers Philosophy of technology Donald Davidson The White Ribbon Meaning Belief Philosophy of artificial intelligence

UPDATE