The automation of reasoning

The automation of reasoning

by Larry Wos

1996
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
This book presents some of the insights, judgements, opinions, and experiences gleaned from more than 30 years of research in automated reasoning. The style and organization are those of an experimenter's notebook, featuring both successes and failures resulting from numerous experiments with one of the world's most powerful software packages for automated reasoning, Bill McCune's OTTER.

Discuss The automation of reasoning with other readers

Join or start a book club for The automation of reasoning on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for The automation of reasoning?

Sign up free on Readfeed, then browse public clubs or start your own club with The automation of reasoning as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss The automation of reasoning with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about The automation of reasoning with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.