Article
Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus.
11
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Calculus (dental)MathematicsNatural deductionTime-scale calculusMultivariable calculusDiscrete mathematicsMedicineEngineering
Chat
Click to start Chat