Pages that link to "Item:Q1370611"
From MaRDI portal
The following pages link to A perspective on symbolic mathematical computing and artificial intelligence (Q1370611):
Displaying 5 items.
- Computer-human interaction in symbolic computation. With a foreword by D. S. Scott (Q1129283) (← links)
- On geometric and topological reasoning in robotics (Q1370612) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving (Q1601834) (← links)
- Automated programming, symbolic computation, machine learning: my personal view (Q6059219) (← links)