Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
421	Package ‘formula.tools’ July 2, 2014 Type Package Title Utilities for working with formulas, expressions, calls and other R objects Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:53:08 Metalogic Function Well-formed formula Term Expression M-expression C++11 First-order logic Mathematics Logic Mathematical logic
422	Extended Model Formulas in R: Multiple Parts and Multiple Responses Achim Zeileis Yves Croissant Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-13 06:21:29 Metalogic Well-formed formula Logic Logical syntax Mathematical logic
423	A Computational Approach to Metalanguage and the Use-Mention Distinction Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-04-30 19:25:29 Proof theory Punctuation Language technology Quotation mark Quotation Logic Language Science Linguistics Metalanguage Metalogic
424	PDF Document Add to Reading List Source URL: www.bia.gov Language: English - Date: 2014-10-01 23:41:21 Metalogic Well-formed formula Chemical formula Pi Science Mathematics Logic Logical syntax Mathematical logic
425	LogicPalet Version 5.3.x.x LogicPalet 1/7 Add to Reading List Source URL: www.logicpalet.com Language: English - Date: 2012-04-14 18:05:42 Logical syntax Metalogic Binary operations Mathematical logic Well-formed formula Interpretation If and only if Context menu Entailment Logic Mathematics Formal languages
426	7/,/..<. r new~; BUREAU OF INDIAN AFFAIRS Add to Reading List Source URL: www.bia.gov Language: English - Date: 2014-10-01 23:41:28 Metalogic Well-formed formula Educatio Pi Formula Ford Bureau of Indian Affairs Mathematics Logic Logical syntax Mathematical logic
427	U.S. GOVERNMENT STANDARD GENERAL LEDGER Supplement No. S2 Treasury Financial Manual Parts 1 and 2--Fiscal 2006 and 2007 Reporting U.S. Standard General Ledger Division Add to Reading List Source URL: www.fms.treas.gov Language: English - Date: 2011-03-14 11:34:48 Logical consequence Logical syntax Metalogic Debits and credits Account Heroes of Newerth S2 Logic Deduction Entailment
428	Logic-Based Methods for Assurance of Complex System Performance Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:23 Philosophical logic Non-classical logic Modal logic Model theory Metalogic Model checking Kripke semantics Categorical logic Natural deduction Logic Mathematical logic Mathematics
429	Microsoft PowerPoint - Webinar on Tangible Symbols July 2013.pptx Add to Reading List Source URL: idahotc.com Language: English - Date: 2013-07-30 12:17:40 Metalogic Abstraction Logical syntax Symbol Reading Tangible symbol systems Linguistics Communication Logic
430	IDENTIFYING DEIXIS TO COMMUNICATIVE ARTIFACTS IN TEXT Shomir Wilson – University of Edinburgh / Carnegie Mellon University NLIP Seminar – 9 May 2014 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-05-09 17:26:35 Metalanguage Proof theory Carnegie Mellon University Parsing Lorrie Cranor Deixis Seminar Logic Education Metalogic Pragmatics Linguistics

UPDATE