An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 500,000 تومان
Hyperautomation in Precision Agriculture: Advancements and Opportunities for Sustainable Farming 600,000 تومان