Home
Handbook of Automated Reasoning
Barnes and Noble
Loading Inventory...
Handbook of Automated Reasoning in Franklin, TN
Current price: $320.00
Barnes and Noble
Handbook of Automated Reasoning in Franklin, TN
Current price: $320.00
Loading Inventory...
Size: OS
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
You May Also Like
More About Barnes and Noble at CoolSprings Galleria
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.
1800 Galleria Blvd #1310, Franklin, TN 37067, United States
Find Barnes and Noble at CoolSprings Galleria in Franklin, TN
Visit Barnes and Noble at CoolSprings Galleria in Franklin, TN