| Title | Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings |
|---|---|
| Author | Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.) |
| Year | 2001 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Computer Science 2250 : Lecture Notes in Artificial Intelligence |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | |
| Language | English |
Size: 6.72MB | Pages: 741 |
LLC: N/A | DDC: 006.3
Related Books
- No Related Books!