JAIST Repository >
Education and Reseach Center for Trustworthy e-Society 2004-2016 >
Conference Papers, Presentations >
Theorem Proving and Provers Meeting (2nd TPP) >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/8334
|
Files in This Item:
File |
Description |
Size | Format |
MLATAgdaTPP.pdf | | 349Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|