Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science 698)

Programming

by Andrei Voronkov

Paperback

ISBN: 978-0-387-56944-4

ISBN-10: 0-387-56944-8

Springer Verlag · 1993