Related Books
Language: en
Pages: 204
Pages: 204
Type: BOOK - Published: 2000 - Publisher: IOS Press
This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions. Search decision
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 655
Pages: 655
Type: BOOK - Published: 2021 - Publisher: Springer Nature
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full
Language: en
Pages: 603
Pages: 603
Type: BOOK - Published: 2019-08-20 - Publisher: Springer Nature
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full pa
Language: en
Pages: 521
Pages: 521
Type: BOOK - Published: 2020-06-29 - Publisher: Springer Nature
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, hel