Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Baaz, Matthias ; Voronkov, Andrei Baaz, Matthias ; Voronkov, Andrei
Berlin, Heidelberg: Springer Berlin / Heidelberg 2002
Texto completo disponível