Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic for Programming and Automated Reasoning
. Ed(S): Parigot, Michel; Voronkov, Andrei
€ 69.35
FREE Delivery in Ireland
Description for Logic for Programming and Automated Reasoning
Paperback. This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming. Editor(s): Parigot, Michel; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 504 pages, biography. BIC Classification: PBCD; UMX; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 705.
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve papers were submitted to LPAR 2000 of which twenty-six papers were accepted. Submissions by the program committee members were not - lowed. There was a special category of experimental papers intended to describe implementations of systems, to report experiments with implemented systems, orto compareimplementedsystems.Eachof thesubmissionswasreviewedbyat least three program committee members and an electronic program committee meeting was held via the Internet. In addition to the refereed papers, this volume contains full papers by two of the four invited ... Read more
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve papers were submitted to LPAR 2000 of which twenty-six papers were accepted. Submissions by the program committee members were not - lowed. There was a special category of experimental papers intended to describe implementations of systems, to report experiments with implemented systems, orto compareimplementedsystems.Eachof thesubmissionswasreviewedbyat least three program committee members and an electronic program committee meeting was held via the Internet. In addition to the refereed papers, this volume contains full papers by two of the four invited ... Read more
Product Details
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
504
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
490
Place of Publication
Berlin, Germany
ISBN
9783540412854
SKU
V9783540412854
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic for Programming and Automated Reasoning