𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ermakov systems, Noether's theorem and the Sarlet-Bahar method

✍ Scribed by John R. Ray; James L. Reid


Book ID
104719926
Publisher
Springer
Year
1980
Tongue
English
Weight
190 KB
Volume
4
Category
Article
ISSN
0377-9017

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Implementing CLP(B) using the Connection
✍ Greg Sidebottom πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 536 KB

Constraint Logic Programming (CLP) is an extension of logic programming to include efficient constraint processing algorithms for specialized computational domains. CLP(B) is a CLP language which processes constraints in Boolean algebra. The CLP(B) language can be used to solve many set theoretic an