𝔖 Bobbio Scriptorium
✦   LIBER   ✦

How should we teach computing to humanists?

✍ Scribed by Tannenbaum, Robert S.


Publisher
Springer
Year
1987
Tongue
English
Weight
738 KB
Volume
21
Category
Article
ISSN
0010-4817

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


SAD as a mathematical assistantβ€”how shou
✍ Alexander Lyaletski; Andrey Paskevich; Konstantin Verchinine πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 282 KB

The System for Automated Deduction (SAD) is developed in the framework of the Evidence Algorithm research project and is intended for automated processing of mathematical texts. The SAD system works on three levels of reasoning: (a) the level of text presentation where proofs are written in a formal