Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Author(s)
Bibliographic Information
Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
(Lecture notes in computer science, 698 . Lecture notes in artificial intelligence)
Springer-Verlag, c1993
- : gw
- : us
Available at / 54 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||69893025771
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:698931002830
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references