Related Books

Learning Search Control Knowledge for Equational Deduction
Language: en
Pages: 204
Authors: S. A. Schulz
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: IOS Press

DOWNLOAD EBOOK

This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions. Search decision
Logics and Type Systems in Theory and Practice
Language: en
Pages: 284
Authors: Venanzio Capretta
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Automated Deduction - CADE 28
Language: en
Pages: 655
Authors: André Platzer
Categories: Artificial intelligence
Type: BOOK - Published: 2021 - Publisher: Springer Nature

DOWNLOAD EBOOK

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
Automated Deduction – CADE 27
Language: en
Pages: 603
Authors: Pascal Fontaine
Categories: Computers
Type: BOOK - Published: 2019-08-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

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
Automated Reasoning
Language: en
Pages: 521
Authors: Nicolas Peltier
Categories: Mathematics
Type: BOOK - Published: 2020-06-29 - Publisher: Springer Nature

DOWNLOAD EBOOK

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, hel