Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Berlín, Alemania :
Springer,
2011, c2011
|
| Цуврал: | (Lecture Notes in Computer Science)
|
| Онлайн хандалт: | Ver documento en línea |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Системд засвар үйлчилгээ хийж байна
Манай номын сангийн менежментийн системд одоогоор засвар үйлчилгээ хийж байна.
Захиалгын мэдээлэл хараахан боломжгүй байна. Энэ нь хүндрэл учруулж болзошгүй тул уучлалт гуйж, нэмэлт тусламж авахын тулд бидэнтэй холбогдоно уу: