Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Nikolaj Bjørner, Andrei Voronkov (edición)
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: Berlín, Alemania : Springer, 2012, c2012
Saila:(Lecture Notes in Computer Science)
Sarrera elektronikoa:Ver documento en línea
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!