Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /

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