Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Harald Ganzinger , David McAllester , Andrei Voronkov
No ratings yet
Jan 10, 2010 · English · eBook (395 pages)
Add To Shelf

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book

Export Book Journal