Deduction, computation, experiment exploring the effectiveness of proof /

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч: ebrary, Inc
Бусад зохиолчид: Corsi, Giovanna, Lupacchini, Rossella
Формат: Цахим Цахим ном
Хэл сонгох:англи
Хэвлэсэн: Berlin ; New York : Springer, c2008.
Нөхцлүүд:
Онлайн хандалт:An electronic book accessible through the World Wide Web; click to view
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!