Suggested Topics within your search.
Suggested Topics within your search.
- Logic, Symbolic and mathematical 166
- Artificial intelligence 110
- Computer science 68
- Mathematical models 50
- Mathematics 49
- Automatic theorem proving 39
- Data processing 37
- Decision making 29
- Computer simulation 20
- Lattice theory 15
- Formal languages 14
- Comprehension (Theory of knowledge) 13
- Data mining 13
- Information theory 13
- Computational linguistics 11
- Computer logic 11
- Formal methods (Computer science) 11
- Mathematical linguistics 11
- Uncertainty (Information theory) 11
- Computer networks 9
- Reasoning 9
- Geometry 7
- Mathematical analysis 7
- Natural language processing (Computer science) 7
- Nonclassical mathematical logic 7
- Information storage and retrieval systems 6
- Language and logic 6
- Music 6
- Education 5
- Logic programming 5
-
1
Intelligent computer mathematics : 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings /
Published 2023Subjects: “…Computer science Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
2
Intelligent computer mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings /
Published 2021Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
Published 2014Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
4
Intelligent computer mathematics : 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings /
Published 2019Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
Published 2013Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
6
Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Published 2017Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
7
Intelligent computer mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM...
Published 2012Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
8
Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /
Published 2016Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
9
Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings /
Published 2015Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
10
OMDoc -- an open markup format for mathematical documents : (version 1.2) /
Published 2006Subjects: “…Mathematics Data processing.…”
Full Text (via Internet Archive)
eBook -
11
Computer mathematics 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedings /
Published 2008Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
12
Intelligent computer mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings /
Published 2020Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
13
Intelligent computer mathmatics 15th international conference, CICM 2022 /
Published 2022Subjects: “…Artificial intelligence Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
14
Models of strategic reasoning : logics, games, and communities /
Published 2015Subjects: Full Text (via Springer)
eBook -
15
Mathematics and computation in music : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /
Published 2015Subjects: “…Music Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
16
Mathematics and computation in music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings /
Published 2013Subjects: “…Music Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
17
Mathematics and computation in music third international conference, MCM 2011, Paris, France, June 15-17, 2011 : proceedings /
Published 2011Subjects: “…Music Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
18
Mathematics and computation in music : 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings /
Published 2017Subjects: “…Music Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
19
Mathematics and computation in music : 8th international conference, MCM 2022, Atlanta, GA, USA, June 21-24, 2022 : proceedings /
Published 2022Subjects: “…Music Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
20
Mathematics and computation in music : 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, proceedings /
Published 2019Subjects: “…Music Mathematics Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook