𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bilingualism and Mathematical Reasoning

✍ Scribed by Lloyd Dawe


Book ID
124657498
Publisher
Teachers of English to Speakers of Other Languages (TESOL)
Year
1985
Tongue
English
Weight
374 KB
Volume
19
Category
Article
ISSN
0039-8322

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Nurturing Mathematical Reasoning
✍ Jennifer S. Thom, πŸ“‚ Article πŸ“… 2011 πŸ› National Council of Teachers of Mathematics βš– 663 KB
Agent Based Mathematical Reasoning
✍ Christoph BenzmΓΌller; Mateja Jamnik; Manfred Kerber; Volker Sorge πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 625 KB

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.