Logic programming and automated reasoning

Logic programming and automated reasoning

by LPAR '92 (1992 Saint Petersburg

Part of Lecture notes in computer science ;

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 volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592"--PUBLISHER'S WEBSITE.

Discuss Logic programming and automated reasoning with other readers

Join or start a book club for Logic programming and automated 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 Logic programming and automated reasoning?

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

Can I discuss Logic programming and automated reasoning with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Logic programming and automated 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.