✦ LIBER ✦

Proof compressions with circuit-structured substitutions

✍ Scribed by L. Gordeev; E. H. Haeusler; V. G. da Costa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

NMR structure proofs for a series of sub

✍ William B. Smith 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 514 KB

Two media resorption compression heat pu

✍ V. Mučić 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 291 KB

The number of lines in Frege proofs with

✍ Alasdair Urquhart 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 74 KB

Earth structure with a compressed profil

✍ V. I. Astafichev 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 260 KB

4571707 Memory circuit with improved red

✍ Takayuki Watanabe 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 84 KB

Electromagnetic radiation from printed-c

✍ Kye Yak See; Jian-Guo Ma 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB