TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 0.922 seconds
Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ISBN: 978-3-540-71065-35170, 2008