English
LOOKING TO PLACE A BULK ORDER?CLICK HERE
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
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.
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.
Details
ISBN 13
9781108745246
Publication Date
-07-11-2023
Pages
-376
Weight
-509 grams
Dimensions
-152.4x228.6x19.92 mm
