𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Higher-Order Corrections of the Head Covariances in Steady Aquifer Flow

✍ Scribed by Dagan, Gedeon


Book ID
119737643
Publisher
American Geophysical Union
Year
1985
Tongue
English
Weight
475 KB
Volume
21
Category
Article
ISSN
0043-1397

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Theo
✍ Hurd, Joe; Melham, Tom πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 566 KB

This Volume Constitutes The Proceedings Of The 18th International Conference On Theorem Proving In Higher Order Logics (tphols 2005), Which Was Held During22–25august2005inoxford,uk.tpholscoversallaspectsoftheorem Proving In Higher Order Logics As Well As Related Topics In Theorem Proving And Veri?c