Extra Materials Archive

Book cover

Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

© 1999

Soft cover - Print (ISBN: 978-3-540-66222-8)

Electronic (ISBN: 978-3-540-48660-2)

View this book on SpringerLink

Extra Materials File 978-3-540-48660-2