Bild 1 von 1

Standardbild

Towards Mechanized Mathematical Assistants Manuel Kauers - Bild 1 von 1

Towards Mechanized Mathematical Assistants von Manfred Kerber Wolfgang Windsteiger Manuel Kauers Robert Miner (2007, Taschenbuch)

buch-mimpf (20136)

100% positive Bewertungen

Preis:

€ 53,49

(inkl. MwSt.)

Gratis 3-Tage-Lieferung - Sendungsverfolgung

Lieferung zwischen Mi, 9. Jul und Do, 10. Jul

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Titel: Towards Mechanized Mathematical Assistants, Untertitel: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, Einband: Taschenbuch, Autor: Manuel Kauers, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 424, Maße: 235x155x23 mm, Gewicht: 639 g, Verkäufer: buch-mimpf, Schlagworte: LaTeX (EDV) Logik Philosophie / Logik Roboter - Robotik - Industrieroboter XML - Extensible Markup Language Algebra Arithmetic Calculation automated deduction systems automated theory formation calculus e-learning formal logic formal proof homological algebra knowledge discovery knowledge management mathe mathematical assistant systems theorem.

Sammeln Sie 53 Punkte | Mehr erfahrenzu eBay Plus-Punkten - wird in neuem Fenster oder Tab geöffnet

Über dieses Produkt

Produktinformation

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.