Extra Materials Archive

Book cover

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

© 2000

Soft cover - Print (ISBN: 978-3-540-41285-4)

Electronic (ISBN: 978-3-540-44404-6)

View this book on SpringerLink

Extra Materials File 978-3-540-44404-6