TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 24 records were found in 0.328 seconds
Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
ISBN: 3-540-28372-23603, 2005