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
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
This page has been accessed 11 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 52 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 52 entries