Description
This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000. The 26 revised full papers presented together with four invited contributions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming, nonclassical logics and the lambda calculus, logic and databases, program analysis, mu-calculus, planning and reasoning about actions. (Description from external book data)
listed in Mathematics | 6 similar books linked from this page.
Offers
Currently unavailable
There are no swap offers for this book right now.
Only Offers/Searches from registered users with name will be displayed. Set up a name here to see your offers.
Rate/Setting
Please log in to rate or offer books. Log in
Offer this book
Log in to add your own offer, choose the format and describe delivery options.
More to discover
Find more books by this author, in this category or in the same language.