Cover of Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
View on Open Library ↗

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

by

Rate this book:
2012

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Andrei Voronkov

Automated Deduction - CADE-18
Automated Deduction - CADE-18
2002
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2005
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
1993
Rewriting Techniques and Applications
Rewriting Techniques and Applications
2002

View all books by Andrei Voronkov →