Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Publication Data

• Title Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
• Contributors David Basin, Burkhart Wolff
• Publisher Springer
• Publication date 2003
• Publication location New York
• Language English

Topics

• Automatic theorem proving :: Congresses

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings. ISBN 3540406646. Published by Springer in 2003. Publication and catalogue information, links to buy online and reader comments.