Manfred Kerber – författare
Visar alla böcker från författaren Manfred Kerber. Handla med fri frakt och snabb leverans.
11 produkter
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Av Michael Kohlhase, Manfred Kerber
E-bok, 2001
1052 kr
Lägg i varukorg
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the …
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Av Michael Kohlhase, Manfred Kerber
E-bok, 2001
1052 kr
Lägg i varukorg
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the …
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Av Manfred Kerber, Michael Kohlhase
Inbunden, 2001
1978 kr
Lägg i varukorg
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the …
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Av Catherine Dubois, Manfred Kerber
Häftad, 2023
798 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected …
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Av Manfred Kerber, Catherine Dubois
E-bok, 2023
1030 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected …
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Av Manfred Kerber, Jacques Carette m. fl.
Häftad, 2015
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and …
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Av Volker Sorge, Florian Rabe m. fl.
E-bok, 2015
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and …
Computational Logic - CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av Peter J. Stuckey, Yehoshua Sagiv m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …
Computational Logic — CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av John Lloyd, Veronica Dahl m. fl.
2000
668 kr
Lägg i varukorg
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Av Manuel Kauers, Manfred Kerber m. fl.
Häftad, 2007
550 kr
Lägg i varukorg
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on …
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Av Wolfgang Windsteiger, Robert Miner m. fl.
E-bok, 2007
712 kr
Lägg i varukorg
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on …
