Paper Info
Title
Composable Packages for Higher Order Logic Theories.
Year
Venue
Field
2010
VERIFY@IJCAR
Programming language,Computer science,Higher-order logic
DocType
Citations 
PageRank 
Conference
1
0.44
References 
Authors
10
1
Name
Order
Citations
PageRank
Joe Hurd1898.92