Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings


Book Informaton

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Author

Iliano Cervesato; Helmut Veith; Andrei Voronkov

Series

Lecture Notes in Computer Science

Volume

5330

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

Pages

XIV, 714

Language

en

ISBN

9783540894384, 9783540894391

ARI Id

1664718474477


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 51 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-30
31-46
47-61
62-78
79-96
97-112
113-127
128-142
143-157
158-173
174-181
182-182
183-197
198-213
214-229
230-242
243-257
258-273
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 51 entries