Intelligent Computer Mathematics
Springer International Publishing
Chapter title |
Using the Isabelle Ontology Framework
|
---|---|
Chapter number | 3 |
Book title |
Intelligent Computer Mathematics
|
Published by |
Springer, Cham, August 2018
|
DOI | 10.1007/978-3-319-96812-4_3 |
Book ISBNs |
978-3-31-996811-7, 978-3-31-996812-4
|
Authors |
Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff, Brucker, Achim D., Ait-Sadoune, Idir, Crisafulli, Paolo, Wolff, Burkhart |
Country | Count | As % |
---|---|---|
Unknown | 3 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Lecturer | 1 | 33% |
Unknown | 2 | 67% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 33% |
Unknown | 2 | 67% |