F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
471	For Notes and records The interest of G.H. Hardy, F.R.S. Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-04-09 16:18:12 Fellows of the Royal Society Philosophy of mathematics Number theorists Cambridge University Moral Sciences Club Mathematical logic G. H. Hardy Metamathematics Logicism Formalism Mathematics Royal Society Philosophy
472	Benson, E.R., J.F. Reid, Q. Zhang and F.A.C. Pinto. “An Adaptive Fuzzy Crop Edge Detection Method for Machine Vision.” Presented at the 2000 Annual ASAE Meeting, Paper No[removed]ASAE, 2950 Niles Rd., St. Joseph, MI[removed]USA. Add to Reading List Source URL: udel.edu Language: English - Date: 2001-09-28 09:40:06 Fuzzy set Defuzzification Membership function Control system Fuzzy classification Fuzzy logic Logic Mathematical logic
473	WSEAS TRANSACTIONS on COMPUTERS John F. Sanford, Les M. Sztandera Add to Reading List Source URL: www.wseas.us Language: English - Date: 2011-10-22 11:02:01 Fuzzy clustering Fuzzy set Membership function Fuzzy number Defuzzification Artificial neural network Type-2 fuzzy sets and systems Fuzzy control system Fuzzy logic Logic Mathematical logic
474	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic
475	"fn Defenseof a Dogma. p. F. $etron Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:34:01 Philosophical logic Philosophy of language Empiricism Willard Van Orman Quine Two Dogmas of Empiricism Analytic–synthetic distinction A priori and a posteriori Meaning Cognitive synonymy Philosophy Analytic philosophy Logic
476	Concept Mapping John F. Sowa VivoMind Intelligence, Inc. Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2006-04-14 13:07:58 Philosophical logic Predicate logic Diagrams Mathematical logic Conceptual graph Common logic Finitary relation First-order logic Existential graph Logic Science Mathematics
477	Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract) Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2009-05-23 04:50:00 Functional programming Mathematical logic Theoretical computer science Function Corecursion Coinduction F-coalgebra Anamorphism Universal quantification Category theory Mathematics Declarative programming
478	The Girard-Reynolds Isomorphism (second edition) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-02 12:28:49 Logic Lambda calculus Logic in computer science Dependently typed programming Proof theory Calculus of constructions System F Curry–Howard correspondence First-order logic Mathematical logic Mathematics Type theory
479	The Girard-Reynolds Isomorphism1 Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-05 10:17:59 Theoretical computer science Type theory Model theory Logic in computer science Dependently typed programming First-order logic Combinatory logic System F Function Mathematical logic Mathematics Lambda calculus
480	PDF Document Add to Reading List Source URL: www.ucl.ac.uk Language: English - Date: 2013-04-24 07:45:07 Branches of philosophy Bimal Krishna Matilal Epistemologists Buddhist logic Indian logic Hetucakra P. F. Strawson Logic Epistemology Philosophy Indian philosophy Academia

UPDATE