CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)
Identifiers
- Open LibraryOL6450925A
Top Subjects
- Algebra -- Data processing -- Congresses (1)
- Automatic theorem proving -- Congresses (1)
Books by CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)
Total count: 1