Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science (2758), Band 2758)
von:
Burkhart Wolff
·
David Basin
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-40664-8
ISBN-10: 3-540-40664-6
Springer
· 2008
