Logic programming and automated reasoning. 5th international conference, LPAR ’94, Kiev, Ukraine, July 16–22, 1994. Proceedings. (English) Zbl 0875.00092
Lecture Notes in Computer Science 822. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 345 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994).
The articles of this volume will not be indexed individually. For the preceding conference see [Zbl 0875.00121].
MSC:
00B25 | Proceedings of conferences of miscellaneous specific interest |
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
68N17 | Logic programming |
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |