Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings - Lecture Notes in Computer Science - M Parigot - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540412854 - October 23, 2000
In case cover and title do not match, the title is correct

M Parigot
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings - Lecture Notes in Computer Science 2000 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

490 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 23, 2000
ISBN13 9783540412854
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 490
Dimensions 155 × 235 × 25 mm   ·   703 g
Language French  
Editor Parigot, Michel
Editor Voronkov, Andrei

Mere med samme udgiver

See all of M Parigot ( e.g. Paperback Book )