English
Paperback
₹7837
₹8249
5% OFF
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
About The Book
Description
Author
Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds by phrasing their desired results in first-order logic and using free software to automate the computation process. Containing more than 150 exercises this text is an ideal resource for students and researchers.
Available Coupons
Coupons redeemable on this product:
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9781108745246
Publication Date
-07-11-2023
Pages
-376
Weight
-509 grams
Dimensions
-152.4x228.6x19.92 mm
Details
ISBN 13
:
9781108745246
Publication Date
:
07-11-2023
Pages
:
376
Weight
:
509 grams
Dimensions
:
152.4x228.6x19.92 mm
Publisher
Ratings & Reviews
No reviews added yet.