F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
441	Robinson Unification Algorithm in F# Learning version This is a learning version of the Robinson unification algorithm. A final different version will become part of a library for doing AST transformations. I wrote the c Add to Reading List Source URL: www.antlr3.org Language: English - Date: 2014-04-25 11:51:26 Automated theorem proving Logic programming Unification Hindley–Milner Combinatory logic Theoretical computer science Applied mathematics Mathematics
442	Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering Add to Reading List Source URL: ontolog.cim3.net Language: English - Date: 2013-10-31 13:44:22 Mathematical logic Datalog Semantic Web Knowledge representation RDF Computer languages F-logic Description logic Logic programming Computing Query languages Data management
443	Self-Certification Bootstrapping Certified Typecheckers in F? with Coq Pierre-Yves Strub Nikhil Swamy Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 13:20:49 Mathematical logic Data types Functional programming Model theory Polymorphism Coq Type system Dependent type First-order logic Type theory Software engineering Programming language theory
444	HAMILTONIAN MECHANICS CONTRA ASYMMETRIC AGING∗ A.F. Kracklauer Bauhaus Universität, Weimar, Germany† Criticism of the logic behind asymmetric aging (or the “twin paradox”) is presented. It is observed that there Add to Reading List Source URL: www.nonloco-physics.0catch.com Language: English - Date: 2011-07-09 19:31:02 Time Relativity Albert Einstein Twin paradox Time dilation Introduction to special relativity Proper time Length contraction General relativity Physics Special relativity Dimension
445	CICC ‘93 Preprint (IEEE Custom Integrated Circuits Conference, San Diego, May 9–12) comments to [removed] or[removed]COST, POWER, AND PARALLELISM IN SPEECH SIGNAL PROCESSING Richard F. Lyon Add to Reading List Source URL: dicklyon.com Language: English - Date: 2006-06-30 14:43:08 Digital electronics Integrated circuits Logic families Electronic design Semiconductor devices CMOS Pass transistor logic Very-large-scale integration Dynamic logic Electronic engineering Electronics Electromagnetism
446	On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨ Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2010-11-03 11:40:59 Circuit complexity Computational complexity theory Boolean algebra Complexity classes Implicant Logic in computer science Boolean circuit Circuit ACC0 Theoretical computer science Mathematics Applied mathematics
447	Life Lessons A Walk with the Wise Solomon wrote: “He that walks with wise men shall be wise” (Prov. 13:20). May I introduce you to the young British preacher F. W. Robertson. He died at Add to Reading List Source URL: www.amitechurch.org Language: English - Date: 2010-01-08 10:59:04 Truth Logic Philosophy Ethics Frederick William Robertson
448	CATALOG WORK SHEET U . S . D E PA R T M E N T O F T H E IN T E R IO R N ATIO N A L PA R K SE RV IC E M USEUM CATALOG RECORD-NR Add to Reading List Source URL: pluto.njcc.com Language: English - Date: 2004-12-22 08:59:14 Quantification Semantics Analytic philosophy Logic Philosophical logic Predicate logic
449	TRY THIS FOR A D A Y F rom the time you get up in the morning until you go to bed at night, avoid any lund of exposure to music of Add to Reading List Source URL: www.senshintemple.org Language: English - Date: 2010-12-19 23:53:09 Nature Philosophical logic Political philosophy Reality Truth Veracity Religious views on love Color Flower Philosophy Ethics Theories of truth
450	CATALOG WORK SHEET U . S . D E PA R T M E N T O F T H E IN T E R IO R N ATIO N A L PA R K SE RV IC E M USEUM CATALOG RECORD-NR Add to Reading List Source URL: pluto.njcc.com Language: English - Date: 2004-12-22 08:59:14 Quantification Semantics Analytic philosophy Logic Philosophical logic Predicate logic

UPDATE