TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 14 records were found in 0.078 seconds
TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications
High Performance Computing Workshop, 225-249, 2006
TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications
High Performance Computing Workshop, 225-249, 2006
Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings
ISBN: 3-540-61511-31104, 1996
Automated theorem-proving in non-classical logics
Pitman,, Research Notes in Theoretical Computer Science, ISBN: 978-0-273-08781-61-154, 1988