What does MIND/INDUS stand for?
MIND/INDUS stands for "Automation of Proofs by Mathematical Induction"
How to abbreviate "Automation of Proofs by Mathematical Induction"?
"Automation of Proofs by Mathematical Induction" can be abbreviated as MIND/INDUS
What is the meaning of MIND/INDUS abbreviation?
The meaning of MIND/INDUS abbreviation is "Automation of Proofs by Mathematical Induction"
What does MIND/INDUS mean?
MIND/INDUS as abbreviation means "Automation of Proofs by Mathematical Induction"
