When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 20
- Item No : 136171704643
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.79
-
* Item Description
- There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
