Selected Problems of Minimization of Variable-Valued Logic Formulas
Dept. Of Computer Science, University of Illinois at Urbana-Champaign (1975)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||VL1 system Mathematical optimization Data processing|
|Categories||categorize this paper)|
|Call number||QA9.45.I4 no. 726|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Jan E. Holly (1997). Prototypes for Definable Subsets of Algebraically Closed Valued Fields. Journal of Symbolic Logic 62 (4):1093-1141.
Matthias Varga Von Kibéd (1993). Variablen Im Tractatus. Erkenntnis 39 (1):79 - 100.
James Larson (1977). Inductive Inference in the Variable Valued Predicate Logic System Vl 21: Methodology and Computer Implementation. Dept. Of Computer Science, University of Illinois.
Zofia Kostrzycka & Marek Zaionc (2004). Statistics of Intuitionistic Versus Classical Logics. Studia Logica 76 (3):307 - 328.
Stuart S. Nagel (1993). Legal Scholarship, Microcomputers, and Super-Optimizing Decision-Making. Quorum Books.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Yehoshua Sagiv (1979). An Algorithm for Inferring Multivalued Dependencies That Works Also for a Subclass of Propositional Logic. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Gerald M. Jenson (1975). Determination of Symmetric Vl1 Formulas: Algorithm and Program Sym. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Gerald M. Jensen (1975). Sym-1, a Program That Detects Symmetry of Variable-Valued Logic Functions. Dept of Computer Science, University of Illinois at Urbana-Champaign.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?