Publication year
2007Author(s)
Publisher
Berlin ; New York : Springer
ISBN
3540745904
In
Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends ProceedingsPublication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Schneider, Klaus
Brandt, Jens
Organization
Foundations
Book title
Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
Subject
Technical Report, Department of Computer Science, University of Kaiserslautern; FoundationsThis item appears in the following Collection(s)
- Academic publications [229074]
- Faculty of Science [34257]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.