✦ LIBER ✦

An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic

✍ Scribed by Sagiv, Yehoshua

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An exact algorithm for the constraint sa

✍ Hachemi Bennaceur; Gérard Plateau 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 590 KB

Model Checking for Combined Logics with

✍ Massimo Franceschet; Angelo Montanari; Maarten de Rijke 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 229 KB

Bayesian Inference for Categorical Trait

✍ M.F. Luo; P.J. Boettcher; L.R. Schaeffer; J.C.M. Dekkers 📂 Article 📅 2001 🏛 American Dairy Science Association 🌐 English ⚖ 208 KB

An algorithm for mesh rezoning with appl

✍ M.A. Gutiérrez; R. de Borst; J.C.J. Schellekens; L.J. Sluys 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 972 KB

An algorithm for approximate membership

✍ Udi Manber; Sun Wu 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 706 KB

An algorithm for set operations on nonco

✍ Balder Von Hohenbalken 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 902 KB