| Call Number (LC) | Title | Results |
|---|---|---|
| QA76.9.M35 I28 2011 | Theoretical and mathematical foundations of computer science second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / | 1 |
| QA76.9.M35 I48 2021 | Formal concept analysis : 16th international conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / | 1 |
| QA76.9.M35 I5425 2004 | Mathematical foundations of computer science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / | 1 |
| QA76.9.M35 I56 1993 | Iteration theories : the equational logic of iterative processes / | 1 |
| QA76.9.M35 I567 1994 | Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / | 1 |
| QA76.9.M35 I57 1988 |
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988 : proceedings / COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / |
2 |
| QA76.9.M35 I58 1998 | Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings / | 1 |
| QA76.9.M35 I58 2010 | Formal concept analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / | 1 |
| QA76.9.M35 I58 2011 | Formal concept analysis 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / | 1 |
| QA76.9.M35 I58 2012 |
Computer algebra in scientific computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / Formal concept analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / |
2 |
| QA76.9.M35 I58 2013 |
Computer algebra in scientific computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings / Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings / |
2 |
| QA76.9.M35 I58 2013eb | Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / | 1 |
| QA76.9.M35 I58 2015eb | Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / | 1 |
| QA76.9.M35 I58 2016eb | Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings / | 1 |
| QA76.9.M35 I58 2017eb |
Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings / |
2 |
| QA76.9.M35 I58 2018 | Intelligent computer mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / | 1 |
| QA76.9.M35 I58 2019eb | Formal Concept Analysis : 15th International Conference, ICFCA 2019: Frankfurt, Germany, June 25-28, 2019: proceedings / | 1 |
| QA76.9.M35 I58 2021 | Proceedings of the Seventh International Conference on Mathematics and Computing : ICMC 2021 / | 1 |
| QA76.9.M35 I58 2022eb | Mathematics and computing : ICMC 2022, Vellore, India, January 6-8 / | 1 |
| QA76.9.M35 I58 2023eb | Proceedings of the ninth International Conference on Mathematics and Computing : ICMC 2023 / | 1 |
