F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
261	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
262	Finding Temporal Patterns using Constraints on (Partial) Absence, Presence and Duration S. Peter and F. H¨oppner Ostfalia University of Applied Sciences Robert Koch Platz 10-14, DWolfsburg Add to Reading List Source URL: public.fh-wolfenbuettel.de Language: English - Date: 2013-03-21 17:48:01 Dynamic time warping Time series analysis Logic programming Association rule learning Predicate Statistics Software engineering Programming paradigms Linguistics Dynamic programming
263	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
264	Department of Mathematics City University of Hong Kong Colloquium Organised by Prof. F. Cucker and Prof. M. Ismail Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2012-09-11 23:34:24 Monte Carlo methods Mathematics Applied mathematics Variance reduction Information theory Statistics Algorithm Mathematical logic Theoretical computer science
265	NEUROFUZZY EXTRACTION OF WIND DATA FROM REMOTELY SENSED IMAGES F. T. NEWLAND, A. R. L. TATNALL+ & M. BROWN* Department of Aeronautics and Astronautics+ Department of Electronics and Computer Science* Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2011-01-10 10:58:44 Formal sciences Knowledge Artificial intelligence Computational neuroscience Machine learning Segmentation Pattern recognition Fuzzy control system Neural network Science Logic Image processing
266	TEACHING NOTES fi n e i n d e p e n d e n t p u bl i s h i n g w w w. f re m a n t l e p re s s. c o m . a u Add to Reading List Source URL: www.fremantlepress.com.au Language: English If and only if Logic
267	TEACHING NOTES fi n e i n d e p e n d e n t p u bl i s h i n g w w w. f re m a n t l e p re s s. c o m . a u Add to Reading List Source URL: www.fremantlepress.com.au Language: English Modal logic Non-classical logic Philosophical logic
268	TEACHING NOTES fi n e i n d e p e n d e n t p u bl i s h i n g w w w. f re m a n t l e p re s s. c o m . a u Add to Reading List Source URL: www.fremantlepress.com.au Language: English Modal logic Non-classical logic Philosophical logic
269	On Referring P. F. Strawson Mind, New Series, Vol. 59, No[removed]Jul., 1950), pp[removed]Stable URL: http://links.jstor.org/sici?sici=[removed]%[removed]%292%3A59%3A235%3C320%3AOR%3E2.0.CO%3B2-U Mind is currently publis Add to Reading List Source URL: semantics.uchicago.edu Language: English - Date: 2013-01-08 15:42:44 Philosophy of language Philosophical logic Statements Semantics Meaning Theory of descriptions Definite description Proposition Sentence Linguistics Logic Philosophy
270	Øystein Linnebo University of Oxford Draft of 15 November 2003; revised 13 April 2005; to appear in Dialectica To Be Is to Be an F 1. Introduction Is the natural number 3 identical with the Roman emperor Julius Caesar? Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:01 Philosophical logic Meaning Philosophy of language Analytic philosophers Semantics Gottlob Frege Sense and reference Logicism Truth Philosophy Logic Analytic philosophy

UPDATE