Home Advanced Search

Advanced Search - Page 1

Intelligent Computer Mathematics. 16th International Conference, CICM 2023 Cambridge, UK, September 5–8, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Catherine Dubois, Manfred Kerber
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Catherine Dubois; Manfred Kerber
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
  • PDF
  • Year: 2001
  • Author: Manfred Kerber (Editor); Michael Kohlhase (Editor)
Tests and Proofs
  • PDF
  • English
  • Year: 2018
  • Author: Catherine Dubois, Burkhart Wolff
Representations of Permutation Groups I
  • DJVU
  • English
  • Year: 1971
  • Author: A. Kerber
Representations of Permutation Groups II
  • DJVU
  • English
  • Year: 1975
  • Author: A. Kerber
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
  • EPUB
  • English
  • Year: 2023
  • Author: Catherine Dubois; Pierluigi San Pietro
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Catherine Dubois, Pierluigi San Pietro
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Boutheina Chetali (auth.), Catherine Dubois (eds.)
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Boutheina Chetali (auth.), Catherine Dubois (eds.)
search