Logic for Programming and Automated Reasoning
Subtitle: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Publisher: Springer
Published: 2003
Language: eng
ISBN-13: 9783540444046