Go back

Logic For Programming And Automated Reasoning 7th International Conference Lpar 2000 Reunion Island France November 6 10 2000 Proceedings(2000 Edition)

Authors:

Michel Parigot ,Andrei Voronkov

Free logic for programming and automated reasoning 7th international conference lpar 2000 reunion island france
15 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Expected shipping: June 25, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $29.47 Savings: $29.47(100%)

Book details

ISBN: 3540412859, 978-3540412854

Book publisher: Springer