
Advances in Automated Reasoning
Rachel Phillips(Editor)
NY Research Press
Published on 25. August 2025
Book
Hardback
247 pages
978-1-64725-574-9 (ISBN)
Description
Automated reasoning involves using algorithms and software to enable computers to solve problems independently. It includes tasks such as logical deduction, mathematical theorem proving and verifying software and hardware correctness. By applying formal logic and computational methods like symbolic computation and model checking, automated reasoning systems can explore different solutions and reach reliable conclusions without human intervention. These systems play a crucial role in fields like formal verification, where confirming software operates correctly is essential and in automated theorem proving, where computers autonomously solve complex mathematical problems. Automated reasoning also supports advancements in artificial intelligence, enhancing machines' ability to make decisions based on logical reasoning processes. The book presents research and studies performed by experts across the globe. It strives to provide a fair idea about this discipline and to help develop a better understanding of the latest advances within this field. Students, researchers, experts and all associated with algorithms and software will benefit alike from this book.
More details
Language
English
Place of publication
United States
Product notice
sewn/stitched
Cloth over boards
ISBN-13
978-1-64725-574-9 (9781647255749)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification