Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

Bibliographic Information

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

Andrei Voronkov (ed.)

(Lecture notes in computer science, 698 . Lecture notes in artificial intelligence)

Springer-Verlag, c1993

  • : gw
  • : us

Available at  / 54 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top