𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A truncation technique for clausal analytic tableaux

✍ Scribed by Graham Wrightson; Jo Coldwell

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
608 KB
Volume
42
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Analytical techniques for vancomycinβ€”A r
Analytical techniques for vancomycinβ€”A review
✍ Avinash P. Sattur; Je-Hyuk Lee; Ki-Bang Song; T. Panda; Chul-Ho Kim; Sang-Ki Rhe πŸ“‚ Article πŸ“… 2000 πŸ› The Korean Society for Biotechnology and Bioengine 🌐 English βš– 101 KB
A semi-analytical model for truncated-og
A semi-analytical model for truncated-ogive-nose projectiles penetration into semi-infinite concrete targets
✍ Qian Lixin; Yang Yunbin; Liu Tong πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 277 KB

The study on the truncated-ogive-nose projectile penetration into semi-in"nite concrete targets is described in this paper. With reference to Forrestal's force model of ogive-nose projectile, semi-analytical penetration equations are developed by introducing a resistance constant which takes into ac