Mathematical Software - ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018. The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Davenport, James H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kauers, Manuel (Editor, http://id.loc.gov/vocabulary/relators/edt), Labahn, George (Editor, http://id.loc.gov/vocabulary/relators/edt), Urban, Josef (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Series: | Theoretical Computer Science and General Issues ;
10931 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Conceptual Structures: Fulfilling Peirce's Dream Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. /
Published: (1997) -
AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /
Published: (2018) -
Grading Knowledge Extracting Degree Information from Texts /
by: Staab, Steffen, et al.
Published: (1999) -
Web Knowledge Management and Decision Support 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers /
Published: (2003) -
Natural Language Processing and Information Systems 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers /
Published: (2001)