Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings


Book Informaton

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Author

Robert Nieuwenhuis; Andrei Voronkov

Series

Lecture Notes in Computer Science

Volume

2250

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XV, 741

Language

EN

ISBN

9783540429579, 9783540456537, 3540429573

ARI Id

1664926501648


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 11 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 52 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XV
1-23
24-38
39-54
55-69
70-84
85-99
100-109
110-124
125-141
142-156
157-171
172-185
186-200
201-216
217-232
233-248
249-265
266-281
282-298
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 52 entries