F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
181	From: WYALA7 --UICVMOO To: WYDME2 -·UICVMOO O.K. Meslem cc: WYD~AI --UICVMOO D.J. ~atlon WYFLEl ·-UICVMOO F. Leggatt Date and time Add to Reading List Source URL: www.shellnews.net Language: English - Date: 2009-05-06 10:03:11 Language Philosophical logic Prime number E-Prime Linguistics
182	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
183	The GSAS Bulletin h a r v a r d g r a d u a t e s c h o o l o f a r t s an d s c i e n c e s N o v e m b e rV o l u m e X L I , no . 3 “Knowledge comes, but wisdom lingers.” —Alfred Lord Tennyson Add to Reading List Source URL: www.gsas.harvard.edu Language: English - Date: 2012-03-19 12:47:03 Fordham Graduate School of Arts and Sciences Dudley House Analytic philosophy Meaning Doctor of Philosophy Logic Linguistics Harvard Graduate School of Arts and Sciences Harvard University Ivy League New England Association of Schools and Colleges
184	Proposal forWWW2009 Tutorial Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-08-09 10:02:48 Ontology DARPA Agent Markup Language Semantic Web Rule Language Web Ontology Language Semantic reasoner RuleML Description logic Knowledge representation and reasoning F-logic Semantic Web Information Science
185	Skyline Query Processing for Incomplete Data Mohamed E. Khalefa Mohamed F. Mokbel Justin J. Levandoski Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2009-09-29 10:22:40 Skyline Knowledge Algorithm Mathematical logic Theoretical computer science
186	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
187	The Spirit of Ghost Code Jean-Christophe Filliˆ atre1,2 , L´eon Gondelman1? , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ. Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:51:46 Character encoding Digital typography Symbol Mathematics Orbifold Proof theory Programming language semantics Logic in computer science
188	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
189	PrefJoin: An Efficient Preference-aware Join Operator Mohamed E. Khalefa 1 , Mohamed F. Mokbel 2 , Justin J. Levandoski 3 Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA 1 Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2011-03-19 13:39:03 Logic Data management Mathematical notation Tuple Type theory Extension Hash function Finitary relation Relation Mathematics Relational model Mathematical logic
190	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory

UPDATE