Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : Proceedings
Carbonell, Jaime G ; Siekmann, Jörg ; Cervesato, Iliano Cervesato, Iliano ; Voronkov, Andrei ; Veith, Helmut
Berlin, Heidelberg: Springer Berlin / Heidelberg 2008
Sem texto completo