T-function - PDFSEARCH.IO - Document Search Engine

T-function
Results: 917

#	Item
741	Complexity Sources in Fuzzy Description Logic Marco Cerami1,? and Umberto Straccia2 1 Palack´ y University in Olomouc, Czech Republic Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-07 10:05:54 Mathematical logic Norm T-norm Monoidal t-norm logic Logarithm Function Łukasiewicz logic Valuation Sheaf Mathematics Fuzzy logic Logic
742	Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras J.-P. Rolin∗ and T. Servi† Abstract We consider for every n ∈ N an algebra An of germs at 0 ∈ Rn of continuous real-val Add to Reading List Source URL: math.u-bourgogne.fr Language: English - Date: 2013-03-20 10:39:22 Functions and mappings Model theory Calculus Germ Sheaf theory O-minimal theory Function Sheaf Net Mathematics Mathematical analysis Topology
743	Privacy Preserving Tˆ atonnement A Cryptographic Construction of an Incentive Compatible Market John Ross Wallrabenstein and Chris Clifton Dept. of Computer Science, Purdue University, USA Add to Reading List Source URL: fc14.ifca.ai Language: English - Date: 2014-02-15 11:16:39 Pricing Game theory Auction theory Supply and demand Price Double auction General equilibrium theory Walrasian auction Marshallian demand function Economics Consumer theory Demand
744	OVERVIEW: UoA 22 PURE MATHEMATICS §1. Conduct of the assessment. The submissions contained the work of 661 staff, 32 of whom were women, from 47 institutions. Two HEI’s submitted outputs from single researchers. T Add to Reading List Source URL: www.rae.ac.uk Language: English - Date: 2002-03-07 10:33:52 Function Mathematician Number theory Algebra Fields of mathematics Mathematics education Mathematics Combinatorics Mathematical analysis
745	My Favorite Integer Sequences N. J. A. Sloane Information Sciences Research AT&T Shannon Lab Florham Park, NJ[removed]USA Email: [removed] Add to Reading List Source URL: neilsloane.com Language: English - Date: 2012-01-02 21:23:38 Generating function Permutation Summation On-Line Encyclopedia of Integer Sequences Generalizations of Fibonacci numbers Mathematics Integer sequences Sequence
746	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-06-11 04:13:26 Theoretical computer science Stable model semantics Answer set programming Hypertree Term algebra Function Valuation Tree decomposition Graph theory Mathematics Logic programming
747	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-01-12 09:31:30 Metalogic Propositional calculus Formal languages Entailment Interpretation Belief revision Logical connective Function Constructible universe Logic Logical syntax Mathematical logic
748	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-12-09 02:07:29 Logic programming Critical thinking Non-classical logic Philosophical logic Stable model semantics Argumentation theory Answer set programming Modal logic Function Logic Mathematics Mathematical logic
749	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-03-22 05:19:08 Mathematical logic Modal logic Non-classical logic Argumentation theory Function Sheaf Logic Mathematics Philosophical logic
750	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-03-28 03:33:19 Functions and mappings Mathematical logic Function Semantics Modal logic Sheaf Logic Mathematics Philosophical logic

UPDATE