Нүүр зураг

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Murugesan, Anitha, Wong, Isaac, Arias, Joaquín, Stroud, Robert, Varadarajan, Srivatsan, Salazar, Elmer, Gupta, Gopal, Bloomfield, Robin, Rushby, John
Формат: Preprint
Хэвлэсэн: 2024
Нөхцлүүд:
Logic in Computer Science
Software Engineering
Онлайн хандалт:https://arxiv.org/abs/2408.11699
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Интернэт

https://arxiv.org/abs/2408.11699

Ижил төстэй зүйлс