✦ LIBER ✦

Berzelian formulas as generative paper tools

✍ Scribed by Emily R. Grosholz

Book ID: 116882540
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 97 KB
Volume: 36
Category: Article
ISSN: 0039-3681
DOI: 10.1016/j.shpsa.2005.04.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Berzelian Formulas as Paper Tools in Ear

Berzelian Formulas as Paper Tools in Early Nineteenth-Century Chemistry

✍ Ursula Klein 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 102 KB

General formula for hygroexpansion of pa

General formula for hygroexpansion of paper

✍ T. Uesaka 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 626 KB

Formula allocation as a policy tool: pol

Formula allocation as a policy tool: politics and measurement

✍ Innes, Judith; Stoddard, Susan 📂 Article 📅 1988 🏛 Informa UK (Taylor & Francis) 🌐 English ⚖ 936 KB

A Generic Graphic Framework for Combinin

A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae

✍ Ricardo Caferra; Michel Herment Lifia-Imag 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 843 KB

A running system for combining inference tools, editing and checking proofs in different logics is presented. It is based on a formalism similar to and developed from the Calculus of Constructions (Coquand and Huet). The system named GLEF ATINF, is a \(^{\text {, }}\) key component of the inference

Student-generated matrix/database as an

Student-generated matrix/database as an organizational tool

✍ Pierce, Jean W. 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 426 KB

Rewriting Logic as a Framework for Gener

Rewriting Logic as a Framework for Generic Verification Tools

✍ Martin Leucker; Thomas Noll 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 332 KB