Stop the war!
Остановите войну!
for scientists:
default search action
"Preuves par induction implicite: cas des théories ..."
Narjes Ben Rajeb (1997)
- Narjes Ben Rajeb:
Preuves par induction implicite: cas des théories associatives-commutatives et observationnelles. (Proofs by implicit induction: case of associative-commutative and observational theories). Henri Poincaré University, Nancy, France, 1997
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.