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 |
There are no comments on this title.