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

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Nikolaj Bjørner, Andrei Voronkov (edición)
Формат: Ном
Хэл сонгох:англи
Хэвлэсэн: Berlín, Alemania : Springer, 2012, c2012
Цуврал:(Lecture Notes in Computer Science)
Онлайн хандалт:Ver documento en línea
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!