Logic programming and automated reasoning
Logic programming and automated reasoning
/Springer-Verlag, 4th international conference, LPAR '93 St. Petesburg, Russia, July 13-20, 1993 proceedings
- Berlin: Springer-Verlag, 1993
- 386p.
Logic programming
Automated reasoning
519.852(082.2) / N3
Logic programming
Automated reasoning
519.852(082.2) / N3