Pages that link to "Item:Q1640635"
From MaRDI portal
The following pages link to Foreword: Symbolic computation in software science (Q1640635):
Displaying 5 items.
- Special issue on symbolic computation in software science (Q485826) (← links)
- Special issue on program verification, automated debugging and symbolic computation (Q507345) (← links)
- Computer-human interaction in symbolic computation. With a foreword by D. S. Scott (Q1129283) (← links)
- Editorial: Symbolic computation and satisfiability checking (Q2307620) (← links)
- Symbolic computation in applied computational mechanics (Q2437299) (← links)