Search

You searched for: Auteur Kerber, Manfred Remove constraint Auteur: Kerber, Manfred
1 - 2 of 2
Number of results to display per page

Search Results

1. Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
thumbnail
Full text!
Author:
Dubois, Catherine.; Kerber, Manfred
Publisher:
Cham Springer 2023
Format:
e-book
2. Towards Mechanized Mathematical Assistants
thumbnail
Full text!
Author:
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Siekmann, Jörg; Windsteiger, Wolfgang
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book