Logic Programming and Automated Reasoning
Subtitle: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Publisher: Springer
Published: 2007
Language: eng
ISBN-13: 9783540482420
Subjects: Automatic theorem proving; Logic programming