Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings


Book Informaton

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Author

Matthias Baaz; Andrei Voronkov

Series

Lecture Notes in Computer Science

Volume

2514

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

Pages

XIV, 470

Language

en

ISBN

9783540000105, 9783540360780, 3540000100

ARI Id

1665034396241


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 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIII
1-18
19-35
36-52
53-67
68-85
86-101
102-114
115-129
130-144
145-159
160-174
175-189
190-201
202-215
216-230
231-246
247-261
262-277
278-291
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries