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.
Lieferbar
ISBN | 9781108745246 |
---|---|
Sprache | eng |
Cover | Kartonierter Einband (Kt) |
Verlag | Cambridge Academic |
Jahr | 20220929 |
Dieser Artikel hat noch keine Bewertungen.