Logic for programming and automated reasoning: 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Free Download

Authors:

Edition: 1

Series: Lecture Notes in ... / Lecture Notes in Artificial Intelligence

ISBN: 9783540664925, 3540664920

Size: 22 MB (22730200 bytes)

Pages: 410/410

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Harald Ganzinger, David McAllester, Andrei Voronkov9783540664925, 3540664920

Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning held in Tbilisi, Georgia, September 6-10, 1999. Softcover.

Reviews

There are no reviews yet.

Be the first to review “Logic for programming and automated reasoning: 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6-10, 1999: proceedings”

Related products

Shopping Cart
Scroll to Top