The boundary element reference book : J. Mackerle and C.A. Brebbia (Eds), computational mechanics publications, Southaampton; Springer-Verlag, Berlin, 1988. 382 pp., UK £51, ISBN 0-905451-74-0 (Comp. Mech., South.), 3-540-18584-4 (Springer)
- Book ID
- 103897070
- Publisher
- Elsevier Science
- Year
- 1989
- Tongue
- English
- Weight
- 97 KB
- Volume
- 31
- Category
- Article
- ISSN
- 0378-4754
No coin nor oath required. For personal study only.
✦ Synopsis
This volume is a user's guide to a computational logic developed by the authors. A precise and complete description of the logic is given together with a detailed reference guide to the associated mechanical theorem proving system. The handbook includes a primer for the logic as a functional programming (using LISP) language, an introduction to proofs in the logic, a primer for the mechanical theorem prover, advice on how to use the logic and theorem prover effectively and many examples. (WFA) J. Mackerle and C.A. Brebbia (Eds), The Boundary Element Reference Book, Computational Mechanics Publications, Southhampton; Springer-Verlag, Berlin, 1988. 382 pp., UK 251, ISBN 0-905451-74-O (Comp. Mech., South.), 3-540-18584-4 (Springer).
This Handbook was compiled with the intention of providing boundary element practitioners _ users as well as scholars -with a reference book giving details of the most important boundary