Opening book details…
Can I read Application of Artificial Intelligence on EtoBox?
Application of Artificial Intelligence by Guillermo Arango; Peter Freeman is a Computer Science article available to read on EtoBox.
What is Application of Artificial Intelligence about?
Several of the panel had experience of using a proof checker to help teach logic, proof, and skills in manipulating formulae. Other tools were felt to improve teaching, but only if they had adequate user interfaces. Tools were certainly useful for the enforcement of certain types of discipline; however, the fear was voiced that the use of tools can lead to the overlooking of important insights. To sum up, there was a consensus amongst the session participants that the use of formalism is spreading and that at the next Workshop there will probably be a session reporting more real applications of the techniques that were discussed in these two days.
Who reads Application of Artificial Intelligence?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Guillermo Arango; Peter Freeman
- Publisher
- ACM
- Published
- 1988
- Language
- EN
- Field
- Computer Science (Physical Sciences)