The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Catherine Dubois,Manfred Kerber
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
pdf
Author:
Catherine Dubois
,
Manfred Kerber
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Intelligent Computer Mathematics. 16th International Conference, CICM 2023 Cambridge, UK, September 5–8, 2023 Proceedings
pdf
Author:
Catherine Dubois Manfred Kerber
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
pdf
Author:
Manfred Kerber (Editor)
,
Michael Kohlhase (Editor)
Year:
2001
0
0
07.02.2024
0
0
Read online
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
pdf
Author:
Manfred Kerber Jacques Carette Cezary Kaliszyk Florian Rabe Volker Sorge (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings
pdf
Author:
John Alan Robinson (auth.) John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
pdf
Author:
Mirian Andrés Laureano Lambán Julio Rubio (auth.) Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger (eds.)
Language:
English
Year:
2007
0
0
27.01.2024
0
0
Read online
Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings
pdf
Author:
John Alan Robinson (auth.) John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
pdf
Author:
Mirian Andrés Laureano Lambán Julio Rubio (auth.) Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
0
0
Read online
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
pdf
Author:
Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger
Language:
English
Year:
2007
0
0
26.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
