Graph-based proof procedures for horn clauses : Stan Raatz, (Birkhäuser, Basel, Switzerland, 1990), Price SFr. 52.00/DM 62.00, ISBN 3-7643-3530-0, 0-8176-3530-0 (paperback).

Graph-based proof procedures for Horn cl

Graph-based proof procedures for Horn clauses : S. Raatz, Birkhäuser, Boston, 1990. 147 pp., Sfr.52, ISBN 0-8176-3530-0 (Boston), 3-7643-3530-0 (Basel)

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 243 KB

This collection of 39 original research articies highlights current research on mathematical modelling and numerical methods for free boundary problems of parabolic and hyperbolic type. Contributions to the control and inverse problems related to free boundaries are also presented. ?Jany numerical t