Date: 2012-01-23 11:39:09Philosophical logic Predicate logic Propositional calculus Metalogic First-order logic FO Modal logic Propositional variable Closed world assumption Logic Mathematical logic Model theory | | Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas*,** * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping,Add to Reading ListSource URL: www.ida.liu.seDownload Document from Source Website File Size: 217,62 KBShare Document on Facebook
|