✦ LIBER ✦

Automated discovery of single axioms for ortholattices

✍ Scribed by W. McCune; R. Padmanabhan; M. A. Rose; R. Veroff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Vanquishing the XCB Question: The Method

✍ Larry Wos; Dolph Ulrich; Branden Fitelson 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 110 KB

The shortest single axioms for groups of

✍ K. Kunen 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 862 KB

On the Single Axioms of Prototheticby Bo

✍ Review by: A. N. Prior 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 308 KB

A single axiom for a partial system of t

✍ Alan Rose 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

Automated synthesis of oligosaccharides

✍ Seeberger, Peter H.; Werz, Daniel B. 📂 Article 📅 2005 🏛 Nature Publishing Group 🌐 English ⚖ 815 KB

Automated Synthesis of Oligosaccharides

✍ Peter H. Seeberger; Daniel B. Werz 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 8 KB 👁 1 views

## Abstract For Abstract see ChemInform Abstract in Full Text.