Logic programming and automated reasoning /Springer-Verlag, 4th international conference, LPAR '93 St. Petesburg, Russia, July 13-20, 1993 proceedings
Material type: TextPublication details: Berlin: Springer-Verlag, 1993Description: 386pSubject(s):Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Proceedings | National Science Library | 519.852(082.2) N3 (Browse shelf(Opens below)) | Available | 174700 |
Browsing National Science Library shelves Close shelf browser (Hides shelf browser)
519.85(082.2) M4 Mathematical programming | 519.852 Linear programming: Principles and applications | 519.852 M5 Linear programming and network models | 519.852(082.2) N3 Logic programming and automated reasoning | 519.853.621-52(082.2) M4 Applications of nonlinear programming to optimization and control | 519.856(082.2) M0 Stochastic programming | 52 J8 Adventure in astronomy |
There are no comments on this title.